Evren Ermis

Evren Ermis is a Researcher at the University of Freiburg’s Department of Computer Science. His work focuses on software model checking, program analysis, verification, debugging, and fault localization. He has contributed to publications such as Flow-sensitive Fault Localization (VMCAI 2013) and Error Invariants (FM 2012), advancing formal methods in software engineering.

He has taught courses including Static Code Analysis (2009–2012), Software Lab/Praktikum (2008–2012), and Verification (2007–2008). He advises students on theses in software engineering and verification, encouraging applications via email. His office is located in building 052, room 00-019, with consultations Tues/Thurs 11:00–12:00 and 14:00–16:00 during term.

He collaborates on projects like AVACS, Salomo, and Ultimate SMTInterpol, contributing to tools for hybrid systems verification and model checking. His research emphasizes practical applications of formal methods in software reliability and automated reasoning.