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
Personal website: http://www.cse.chalmers.se/~laurako/
Contributions
POPL 2016-profile
View general profile
View general profile