Jan Hoffmann Associate Professor Research Areas: Formal methods General programming languages Software security engineering
Zeliha Dilsun Kaynar Associate Teaching Professor Research Areas: Computing education Formal methods Formal methods and theory of security General programming languages
Andre Platzer Courtesy FacultyProfessor Research Areas: AI Safety Embedded and cyber-physical systems Formal methods General programming languages Heterogeneous (hybrid) systems Logic Robotic control Safety critical systems Theorem proving and SAT solving
