Hi! My professional interests are at the intersection of software engineering and research. My expertise spans formal verification, Rust, distributed systems, and artificial intelligence.
At delta Network, I make sure that software systems work as intended. This can involve formalizing protocols, designing systems, or building and guardrailing AI agents. I especially enjoy applying (semi)formal methods to test real-world components; these methods can catch both simple and complex bugs while requiring little ongoing maintenance.
In 2024, I completed my PhD in Computer Science at ETH Zurich, where I conducted research in the Programming Methodology Group in collaboration with Peter Müller (main advisor) and Alexander J. Summers (second advisor). My doctoral work focused on developing formal verification techniques applied to the Rust language, creating tools to detect bugs and ensure software correctness. This involved extensive work in software verification, static analysis, compilers, and Rust language semantics. Notably, I am a co-creator of Prusti, an automated verifier for Rust software that we began developing in 2017.
My past experiences include internships at AWS, where I worked on automated reasoning, at Google, where I focused on self-supervised machine learning, and at CERN, where I worked with Python and information retrieval.