Courses
- Program Analysis (Winter 2018 - 19)
Department of Computer Science,
University of Kaiserslautern and Saarland University, 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