this image was taken over in Indonesia, where the weather is much nicer than in Switzerland
hi, i’m niels

n (.) muendler (at) posteo (.) de

How reliable and secure are Code LLMs?

Recent LLMs are remarkably strong at generating useful code. Yet, they still generate unsafe code and lack reliability. My research focuses on measuring and improving safety and reliability of LLM-based code generation. See my recent work to learn more!

I started studying Computer Science in 2017 at TUM, spent the second half of 2019 (“fall”) at NUS. I graduated as M.Sc. CS at ETH in 2024 and am now a PhD Student under Martin Vechev.

I like working with LLMS, Isabelle/HOL and Python (usually these fields do not overlap). If you are interested in things I built, head over to my github page. I also ran projects on the Cardano Blockchain, a remnant of which is a Python-based Smart Contract language.

In my free time I like to participate in voluntary activities. BüKE, EJM and Haydee! e.V are all great projects and institutions I recommend checking out.