
Registered user since Fri 25 Apr 2025
Name:Niels Mündler
Bio:
My research focuses on enhancing the reliability and security of Large Language Models, with an emphasis on ensuring the faithfulness and correctness of generated text and code.
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. Previously, I worked on the formal verification of data structures and algorithms and co-founded a start-up specializing in Smart Contracts.
Country:Switzerland
Affiliation:ETH Zurich
Personal website: http://sri.inf.ethz.ch/people/niels
X (Twitter): https://x.com/nielstron
GitHub: https://github.com/nielstron
Research interests:LLMs for Code, Security and Reliability
Contributions
Using general profile