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
