Niels Mündler

PhD student, Department of Computer Science, ETHZ - ETH Zurich

  • Joined May 2023

Names

Niels Mündler (Preferred)

Emails

****@ethz.ch (Confirmed)
,
****@tum.de (Confirmed)

Personal Links

Education & Career 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

Coauthor
2024 – Present
 
Coauthor
2024 – Present
 
Coauthor
2024 – Present
 
Coauthor
2020 – 2021
 

Expertise

Language Models
2024 – Present
 
Formal Verification
2020 – 2021