Scholar
Maria Christakis
Google Scholar ID: QbHnrKgAAAAJ
Professor @ TU Wien Informatics
Citations & Impact
Citations
1,628
H-index
19
i10-index
32
Publications
20
Co-authors
78
list available
Publications
Resume (English only)
Academic Achievements
- Received an Ethereum Foundation Grant for Systematic Testing of zkVMs; jointly with Diligence Security, received an Aztec Award for detecting soundness and completeness bugs in the Noir zero-knowledge pipeline using the Circuzz tool (CCS'25); will be giving a keynote at SE'26.
Research Experience
- Since September 2022, a full professor at TU Wien in Vienna, Austria, leading the Rigorous Software Engineering Group and the Software Engineering Research Unit.
Background
- Research interests include software engineering and formal methods, particularly in automatic test generation, program analysis, and software verification. The goal is to develop theoretical foundations and practical tools to build more reliable and usable software and increase developer productivity.
Miscellany
- Hiring Ph.D. students and post-doctoral researchers.
