CV
Publications
APRe Group
APRe Events
Research Grants
Student Projects
Teaching
Community Service
|
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.
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;
- extends computer algebra methods by automated deduction approaches;
- designs hybrid approaches complementing computer algebra and automated deduction;
- develops software artefacts combining computer algebra and automated deduction.
Research directions:
By developing methods based on a tight interactions between computer algebra and automated reasoning, I promote research on:
- algebraic analysis of systems, in particular for invariant synthesis, termination analysis and probabilistic reasoning;
- deductive verification, in particular focusing on safety and security verification;
- SMT solving, in particular addressing on-demand theory reasoning;
- first-order theorem proving, in particular targeting quantified reasoning with theory extensions.
Research tools:
My research is supported by the development of the
|
