Maria Christakis to join MPI-SWS as tenure-track faculty
June 2017
Maria's research is in the areas of software engineering, programming languages, and formal methods. She joins the institute in October 2017.
Programming Languages & Verification
The group’s research focuses on the principles, design and implementation of programming languages and on foundational techniques and practical tools for analyzing, testing, and verifying programs against their correctness specifications.
Recent research has developed techniques for verifying compilers and other critical software, and tools for testing and/or verifying concurrent systems.
