Current Position

Since October 2017, I am a tenure-track faculty member of the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, Germany, where I lead the "Practical Formal Methods" Group.

Research Interests

My goal is to develop theoretical foundations and practical tools for building more reliable and usable software and increasing developer productivity. I am mostly interested in software engineering, programming languages, and formal methods. I particularly like investigating topics in automatic test generation, software verification, program analysis, and empirical software engineering. My tools and techniques explore novel ways in writing, specifying, verifying, testing, and debugging programs in order to make them more robust while at the same time improving the user experience.


  • I am looking for motivated and talented interns, PhD students, and post-docs to work with me on Practical Formal Methods!
  • I received a Facebook Faculty Research Award for my research in combining static and dynamic program analysis! I am deeply grateful to Facebook, and especially to Francesco Logozzo!
  • I am chair of the PLDI'18 Student Research Competition.
  • I am on the ACM Student Research Competition'18 program committee.
  • I am on the iFM'18 program committee.
  • I am on the OOPSLA'18 program committee.
  • I am artifact evaluation co-chair for ECOOP'18.
  • I am on the PLDI'18 external review committee.

Curriculum Vitae

A PDF version of my CV can be found here.

Maria Christakis
Paul-Ehrlich Strasse G 26
67663 Kaiserslautern