Teaching

Graduate Teaching Assistant

Summer 2017 – Designing Code Analyses for Large Software Systems, Paderborn University
Summer 2016 – Designing Code Analyses for Large Software Systems, Paderborn University
Winter 2015 – Secure Software Development, TU Darmstadt
Winter 2014 – Designing Code Analyses for Large Software Systems, TU Darmstadt

Substitute Lecturer

Summer 2016 – Designing Code Analyses for Large Software Systems, Paderborn University
Winter 2015 – Secure Software Development, TU Darmstadt

Student Supervision

Master Theses

2017–2018: Kaarthik Radhakrishna. Incremental Support of Static Analysis Code in VisuFlow
2017–2018: Shashank Subramanya. Incremental Support of Target Code in VisuFlow

Student Assistants

2017–?: Ankur Gupta, Alexander MacKenzie, Adrian Margel
2016–2017: Student assistant, Henrik Niehaus
2015: Tobias Otto, Alexey Gasevic, Azmat Ali

Project Groups

2017–2018: Secure Integration of Cryptographic Software
2016–2017: Visualising Data Flows in Static Code Analyses