Maria Christakis's research goal is to develop theoretical foundations and practical tools for building more reliable and usable software and increasing developer productivity. She is primarily interested in software engineering and formal methods. Maria particularly likes investigating topics in automatic test generation, program analysis, and software verification. Her 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.
For more information, please visit her personal website.
