Courses
- Program Analysis (Winter 2019 - 20)
Department of Computer Science,
Technical University of Kaiserslautern, Germany - Program Analysis (Winter 2018 - 19)
Department of Computer Science,
Technical University of Kaiserslautern and Saarland University, Germany
Seminars
- Research Topics in Software Reliability (Winter 2019 - 20)
Department of Computer Science,
Technical University of Kaiserslautern, Germany
Summer School Lectures
- Static Program Analysis Meets Test Case Generation (Summer 2018)
The Cornell, Maryland, Max Planck Pre-doctoral Research School (CMMRS) 2018,
MPI-SWS, Germany