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
- Our paper Interrogation Testing of Program Analyzers for Soundness and Precision Issues is accepted at ASE'24!
- Our paper Constraint-Based Test Oracles for Program Analyzers is accepted at ASE'24!
- Our tool demonstration Olympia: Fuzzer Benchmarking for Solidity is accepted at ASE'24!
- Our proposal for a Dagstuhl seminar on Testing Program Analyzers and Verifiers is accepted!
- Our paper Inductive Predicate Synthesis Modulo Programs is accepted at ECOOP'24!
Open Positions
I am hiring Ph.D. students and post-doctoral researchers. If you are interested, please send me your CV.
Curriculum Vitae
A PDF version of my CV can be found here.