Maria Christakis
Member of the Young Academy since 2024
- Technische Universität Wien
Contact:
maria.christakis(at)tuwien.ac.at
Orcid-ID:
0000-0002-2649-1958
Research Areas:
- Computer Sciences
- Software development
- Machine learning
- Software Engineering
- Formal Methods
Profile:
Publications:
Selected Memberships:
- Scientific Member of IFIP Working Group 2.4 on Software Implementation Technology
Selected Prizes:
- EAPLS Best PhD Dissertation Award
- ETH Zurich Medal for PhD Dissertation
- Facebook Faculty Research Award
- Google Research Scholar Award
- Amazon Research Award
Selected Publications:
- Specifying and Testing k-Safety Properties for Machine-Learning Models (IJCAI'23)
- Harvey: A Greybox Fuzzer for Smart Contract (ESEC/FSE'20)
- Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing (ESEC/FSE'20)
- What Developers Want and Need from Program Analysis: An Empirical Study (ASE'16)
- Guiding Dynamic Symbolic Execution Toward Unverified Program Executions (ICSE'16)