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
Contact
Maria Christakis
MPI-SWS
Paul-Ehrlich Strasse G 26
67663 Kaiserslautern
Germany
E-mail: maria@mpi-sws.org