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.
My research is designing new methods for computer-aided program analysis and verification by combining:
ERC Consolidator Grant 2020 ARTIST: Automated Reasoning with Theories and Induction for Software Technologies
Amazon Research Award 2020 FOREST: First-Order Reasoning for Esnuring System Security
Co-chair of IJCAR 2022, LPAR 2020 and CONCUR 2020