Her research and teaching focuses on computer theorem proving and symbolic computation, and integrates program analysis techniques with new approaches to program assertion synthesis and automated reasoning. She is the co-developer of the award-winning theorem prover Vampire, with a special role on enhancing theorem prover with novel features for program analysis. She works interdisciplinary, bridging together computer science, mathematics and logic. She is a founding member of the Austrian Society for Rigorous Systems Engineering. Her scientific work was awarded by the European Resarch Council with an ERC Starting Grant 2014. Link to personal page