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 research goal is to develop theoretical foundations and practical tools for building more reliable and usable software and increasing developer productivity. I am primarily interested in software engineering and formal methods. I particularly like investigating topics in automatic test generation, program analysis, and software verification. My tools and techniques explore novel ways in writing, specifying, verifying, testing, and debugging programs in order to make them more robust while improving the developer experience.


  • I will join the Vienna University of Technology (TU Wien) as Full Professor in September 2022!
  • I received a Google Research Scholar Award!
  • Our paper Metamorphic Relations via Relaxations: An Approach to Obtain Oracles for Action-Policy Testing was accepted at ISSTA'22!
  • Our paper Debugging a Policy: Automatic Action-Policy Testing in AI Planning was accepted at ICAPS'22!
  • I am on the ICSE'23 program committee! Please consider submitting your papers.

Open Positions

I am always looking for motivated and talented interns, PhD students, and post-docs to work with me on Practical Formal Methods!

Curriculum Vitae

A PDF version of my CV can be found here.

Maria Christakis
Paul-Ehrlich Strasse G 26
67663 Kaiserslautern