Maria Christakis
Mitglied der Jungen Akademie seit 2024
- Technische Universität Wien
Kontakt:
maria.christakis(at)tuwien.ac.at
Orcid-ID:
0000-0002-2649-1958
Forschungsbereiche:
- Informatik
- Softwareentwicklung
- Machine Learning
- Software Engineering
- Formal Methods
Zur Person:
Publikationen:
Ausgewählte Mitgliedschaften:
- Scientific Member of IFIP Working Group 2.4 on Software Implementation Technology
Ausgewählte Preise und Auszeichnungen:
- EAPLS Best PhD Dissertation Award
- ETH Zurich Medal for PhD Dissertation
- Facebook Faculty Research Award
- Google Research Scholar Award
- Amazon Research Award
Ausgewählte Publikationen:
- 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)