CV
Publications
APRe Group
APRe Events
Research Grants
Student Projects
Teaching
|
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). I am a role model of Let's Empower Austria - LEA and a Young Science Ambassador of Austria's Agency for Education and Internationalisation - OeAD. Since 2025, I am president president and steering committee chair of the ETAPS Association, running the ETAPS conferences.
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
Selected awards:
|
