Niels Mündler
I'm a PhD student in Computer Science at ETH Zurich currently working on AI safety and reliability, with a focus on large language models. I previously did research at TU Munich working with Prof. Tobias Nipkow on formal verification of data structures.
My current work focuses on understanding and improving the safety and reliability of large language models. I've developed methods for detecting and mitigating self-contradictory hallucinations in LLMs, as well as analyzing security vulnerabilities in code completion engines. My research aims to make AI systems more trustworthy and reliable.
I have a strong background in formal methods and verification, having worked on verified implementations of fundamental data structures like B-trees and B+-trees. This experience with rigorous formal reasoning now informs my approach to making AI systems more reliable and secure.
My current work focuses on understanding and improving the safety and reliability of large language models. I've developed methods for detecting and mitigating self-contradictory hallucinations in LLMs, as well as analyzing security vulnerabilities in code completion engines. My research aims to make AI systems more trustworthy and reliable.
I have a strong background in formal methods and verification, having worked on verified implementations of fundamental data structures like B-trees and B+-trees. This experience with rigorous formal reasoning now informs my approach to making AI systems more reliable and secure.
Publications
A Verified Imperative Implementation of B-Trees
Niels Mündler
Arch. Formal Proofs 2021