|
|
Teaching
- Language-based security at University of Kent
- Theory of computing at University of Kent
- Functional programming at University of Kent
- Logics in security (Teaching assistant) at MPI-SWS
- Security (Teaching assistant) at Saarland University
- Secure information flow (Teaching assistant) at Saarland University
|