Ankush Das Doctoral Research Assistant Research Areas: Concurrency Formal methods General programming languages Program analysis Type theory
Jan Hoffmann Associate Professor Research Areas: Formal methods General programming languages Software security engineering
Zeliha Dilsun Kaynar Assistant Teaching Professor Research Areas: Computing education Formal methods Formal methods and theory of security General programming languages
Andre Platzer Courtesy Faculty MemberProfessor 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