Software Engineer
Working on AI at Miro.
Software Engineer · 2024 – Present
Built AI slides and AI tables, now used by tens of thousands weekly. Python, LLMs, streaming.
Software Engineer Intern · Summer 2023
Fincrime team. Migrated parts of the monolith to a new service. Java, Kafka.
BSc Computer Science & Engineering · 2021 – 2024
Data track. Thesis on verified type-checkers in Agda. ML, algorithms, functional programming, and a few Java projects along the way.
Explainable AI tools in Julia. Counterfactual explanations, interpretability.