Registered user since Wed 10 Jul 2019
I am an Associate Professor of Formal Methods at Chalmers University of Technology. I also have a part-time adjunct associate professor position at the Vienna University of Technology. My research is on formal software analysis and verification. More specifically, I am interested in designing new methods for computer-aided verification by combining.
|CPP 2016|| The Vampire and the FOOL|
Committee Member in Program Committee within the CPP-track
|POPL 2016|| Committee Member in Program Committee|
Committee Member in Program Committee within the Research Papers-track
|Show activities from other conferences|
View general profile