Teaching assistant
MSc Course: Type Systems for Correctness and Security
Substitute Lecturer
MSc Course: Type Systems for Correctness and Security

Student Supervision – Theses 2018–2019: R. Keller (BA). Vulnerabilities in Java 9 Modules

Related