Jan Hoffmann Associate Professor Research Areas: Formal methods General programming languages Software security engineering
