CPP
Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Laura Kovacs

Not registered as user yet

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/

POPL 2016 Activities

POPL 2016-profile
View general profile