Write a Blog >>
Laura Kovacs

Registered user since Wed 10 Jul 2019

Name:Laura Kovacs
Bio:

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.

Affiliation:Chalmers University of Technology

Contributions

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

POPL 2016-profile
View general profile