About me
Since July 2024, I am pursuing a Ph.D. at the Secure, Reliable, and Intelligent Systems Lab at ETH Zürich, advised by Prof. Martin Vechev. My research focuses on enhancing the reliability and security of Large Language Models, with an emphasis software and code. Previously, I worked on the formal verification of data structures and algorithms and co-founded a start-up specializing in Smart Contracts.
If you are interested in conducting a research project, BSc Thesis or MSc Thesis at SRI, I am looking for motivated students with a strong background in programming languages and formal methods. Feel free to contact me about this via e-mail. I am open to new project ideas. Some suggestions around formal methods for Large Language Models include:
- Training Reasoning Models and Coding Agents in unusual ways
- Applying Generative Compilation
- Benchmarking Coding Agents for Capabilities and Security
Further, I believe most people are unaware of what they do obviously wrong because no one dares or cares to tell them. So please roast me anonymously via admonymous.
Publications
2026
Oral
DL4C @ NeurIPS'25 Oral
Oral & Runner-up Best Paper
2025
Spotlight