Maria's research is in the areas of software engineering, programming languages, and formal methods. She joins the institute in October 2017.
Eva Darulova is teaching Static Program Analysis in summer 2017 at Saarland University.
Sadegh Soudjani is teaching Principles of Cyber-physical Systems at the University of Kaiserslautern in Summer 2017.
Rupak Majumdar and Daniel Neider are co-teaching Advanced Automata Theory in summer 2017 at the University of Kaiserslautern.