Hi! I work at the intersection of software engineering and research. My experience includes formal verification, Rust, distributed systems, and artificial intelligence.
At delta Network, I help build software systems that behave as intended. My work ranges from formalizing protocols, designing and deploying systems, to building and safeguarding Al 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.