Courses
- Program Analysis (Winter 2019 - 20, Winter 2020 - 2021)
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
- Machine Learning and Formal Methods (Spring 2020)
Department of Computer Science,
Saarland University, Germany
- 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