| Interests | Programming languages and types, software security | |
| Events | CSF 2025 (PC), LICS 2024 (PC), ... |
Max Planck Institute for Software Systems
Honorary Professor of Computer Science
Honorarprofessor für das Fachgebiet Informatik
Saarland University