Teaching

Graduate Teaching Assistant

Winter 2018 – Seminar: Secure Systems Engineering, Paderborn University
Summers 2016-2019 – 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 2018 – 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

Student Supervision – Master Theses

2018–2019: (BA). Automating Builds for Open Source Software
2018–2019: Marcus Nachtigall (MA). Omniscient Debugging for Static Analysis
2018–2019: Ankur Gupta (MA). Indexing Open-Source JavaScript Repositories
2017–2018: Kaarthik Radhakrishna (MA). Supporting Incremental Changes in Static Analysis Code
2017–2018: Shashank Subramanya (MA). Aliasing in Incremental Static Analysis With IDEal

Student Supervision – Projects

2018-2019: Project group: Automated Benchmark Management
2018: Undergraduate Capstone Open Source Projects: Filtering Module for the Automated Benchmark Management Platform
2017–2018: Project group: Secure Integration of Cryptographic Software
2016–2017: Project group: Visualising Data Flows in Static Code Analyses