Current Position
Since September 2022, I am a full professor at the TU Wien Faculty of Informatics in Vienna, Austria, where I lead the Rigorous Software Engineering Group and the Software Engineering Research Unit at the Information Systems Engineering Institute.
Research Interests
My research goal is to develop theoretical foundations and practical tools for building more reliable and usable software and increasing developer productivity. I am primarily interested in software engineering and formal methods. I particularly like investigating topics in automatic test generation, program analysis, and software verification. My tools and techniques explore novel ways in writing, specifying, verifying, testing, and debugging programs in order to make them more robust while improving the developer experience.
News
- I was awarded an ERC Starting Grant 2022 on Testing Program Analyzers Ad Absurdum!
- Our paper Automatic Metamorphic Test Oracles for Action-Policy Testing is accepted at ICAPS'23!
- Our paper Dependency-Aware Metamorphic Testing of Datalog Engines is accepted at ISSTA'23!
- We were awarded a WWTF ICT 2022 grant for our project ForSmart: Effective Formal Methods for Smart-Contract Certification!
- Our DFG Collaborative Research Center for Perspicuous Computing was funded for another 4 years!
- I am General Chair of ISSTA'24!
Open Positions
I am hiring Ph.D. students and post-doctoral researchers.
- For a post-doc position, please apply here.
- For a Ph.D. position, please send me your CV and transcript.
Curriculum Vitae
A PDF version of my CV can be found here.