Maria Christakis

Maria Christakis is a Full Professor at TU Wien's Faculty of Informatics where she leads the Rigorous Software Engineering Group. Her research develops methods and tools for building reliable software through formal methods, automated test generation, and program verification.

She directs several projects including Sherlock (a framework for testing program analyzers), Minotaur (constraint-based program generator), and SmartACE (compositional verifier for smart contracts). Her group focuses on improving software robustness while enhancing developer productivity.

Awards include the Distinguished Paper Award at ICSE 2016 and Best Presentation Award at ESEC/FSE 2020. She currently advises 5 PhD students and teaches courses in Advanced Software Engineering and Software Engineering Research.