Niels Mündler (Preferred)
Niels Mündler
PhD student, Department of Computer Science, ETHZ - ETH Zurich
Joined
May 2023
Names
Emails
****@ethz.ch (Confirmed)
****@tum.de (Confirmed)
****@inf.ethz.ch (Confirmed)
****@inf.ethz.ch (Confirmed)
Personal Links
Career & Education History
PhD student
Department of Computer Science, ETHZ - ETH Zurich (inf.ethz.ch)
2024 – Present
MS student
Department of Computer Science, ETHZ - ETH Zurich (inf.ethz.ch)
2021 – 2023
Undergrad student
Department of Informatics, Technische Universität München (in.tum.de)
2017 – 2021
Advisors, Relations & Conflicts
Expertise
Language Models
2024 – Present
Code Synthesis
2024 – Present
Formal Verification
2020 – 2021