Registered user since Wed 10 Jul 2019
Since April 2016, I am a full professor of computer science at the Faculty of Informatics of the Vienna University of Technology (TU Wien). I also hold a part-time position as a professor at the Chalmers University of Technology. Research interest: My research is on formal software analysis and verification. More specifically, I am interested in designing new methods for computer-aided verification by combining: automated theorem proving; automated assertion generation; symbolic computation.
|VMCAI 2021|| Committee Member in Invited Speakers within the VMCAI-track|
Algebra-based Synthesis of Loops and their Invariants
|POPL 2021||Committee Member in Program Committee within the POPL-track|
|Show activities from other conferences|
View general profile