PLDI 2025
Mon 16 - Fri 20 June 2025 Seoul, South Korea
Niels Mündler

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
Research interests:LLMs for Code, Security and Reliability

Contributions

Show activities from other conferences

Using general profile