Maria Christakis
Professor at Technische Universität Wien
Vienna, Austria
Summary
👤
Senior🎓
Top SchoolMaria Christakis is a professor and researcher with 16 years of experience specializing in software engineering and formal methods, focused on making software more reliable and developer-friendly. She develops theoretical foundations and practical tools for automatic test generation, program analysis, verification, and debugging, translating formal techniques into usable developer workflows. Her academic journey spans leading research and faculty roles at Technische Universität Wien, MPI-SWS, and the University of Kent, built on a PhD from ETH Zürich and an engineering diploma from NTUA. Maria combines deep formal expertise with a pragmatic interest in developer experience, often exploring novel specification and testing approaches that reduce debugging time in practice. Based in Vienna, she balances rigorous theory with tool-building that targets real-world software robustness rather than purely abstract proofs.
16 years of coding experience
2 years of employment as a software developer
Doctor of Philosophy - PhD, Doctor of Philosophy - PhD at Department of Computer Science (D-INFK), ETH ZürichDiploma of Electrical and Computer Engineering, Diploma of Electrical and Computer Engineering at National Technical University of AthensHigh School Diploma, High School Diploma at American School of Madrid
Github Skills (22)
erlang9
ranking8
code-contracts7
science7
react7
symbolic-execution6
computer-science6
klee6
java6
sast5
ruby5
python5
semgrep5
static-analysis5
javascript5
Programming languages (6)
Github contributions (5)
mariachris/mariachris.github.io
Oct 2016 - Nov 2020
Contributions:316 pushes, 1 branch in 4 years 2 months
Bunlong/DB
May 2010 - Sep 2010
Contributions:39 commits in 3 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.