Teaching

Graduate Teaching Assistant

Summers 2016-2018 – 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

2017–2018: Kaarthik Radhakrishna. Supporting Incremental Changes in Static Analysis
Code

2017–2018: Shashank Subramanya. Aliasing in Incremental Static Analysis With IDEal

Student Supervision – Projects

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