CV
Publications
APRe Group
APRe Events
Research Grants
Student Projects
Teaching
Community Service
|
Short bio:
I am a full professor at the Faculty of Informatics of the Vienna University of Technology (TU Wien), leading the research group in automated program reasoning- APRe in the Formal Methods in Systems Engineering division. My research focuses on the design and development of theories, technologies, and tools for automated reasoning about software, with particular emphasis on automated assertion generation, symbolic summation, computer algebra, security, and automated theorem proving. I am a corresponding member of the Austrian Academy of Science and a Wallenberg Academy Fellow of Sweden. I am a co-developer of the Vampire theorem prover. My research has been recognized, among others, with an ERC Starting Grant (2014), two ERC Proof of Concept Grant (2018, 2024), an ERC Consolidator Grant (2020), and two Amazon Research Awards (2020, 2023). She acts as role model of Let's Empower Austria - LEA and is a Young Science Ambassador of Austria's Agency for Education and Internationalisation - OeAD.
Research focus:
My research establishes synergies between computer algebra and automated deduction in support of automated reasoning about software systems. As such, my work
- enhances automated deduction with computer algebra insights;
- designs hybrid approaches complementing computer algebra and automated deduction;
- develops software artefacts combining computer algebra and automated deduction
Research tools:
My research is supported by the development of the
|
|
