About

I work on theories, technologies and tools for automated reasoning about software — including assertion generation, symbolic summation, computer algebra, security and theorem proving.

I am an elected corresponding member of the Austrian Academy of Sciences and a Wallenberg Academy Fellow of Sweden. I am grateful to have received four ERC grants and I enjoy to I co-develop the Vampire theorem prover. I act as a role model of Let's Empower Austria and a Young Science Ambassador of the OeAD. Since 2025 I serve as president and steering committee chair of the ETAPS Association.

Research Focus

Automated reasoning - Symbolic Computation - Formal Methods - Hybrid reasoning approaches for practically viable software artefacts

Research Tools

VampireFirst-order theorem prover PolarStatic analyzer for probabilistic loops Z3 extensionsSMT solving

Selected Awards

  • 2024ERC Proof of Concept Grant
  • 2023Amazon Research Award
  • 2021TU Wien Promotion Prize
  • 2020ERC Consolidator Grant
  • 2020Amazon Research Award
  • 2018ERC Proof of Concept Grant
  • 2014ERC Starting Grant
  • 2014Wallenberg Academy Fellow