Maria Christakis

Not registered as user yet

Name: Maria Christakis

Bio: 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.

Country: Germany

Affiliation: Max Planck Institute for Software Systems

Personal website:

SPLASH 2018 Activities

Using general profile