ECOOP and ISSTA 2018 (series) / Laura Kovacs
Registered user since Wed 10 Jul 2019
Name:Laura Kovacs
Bio:
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 an associate 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.
Country:Sweden
Affiliation:Chalmers University of Technology
Personal website: http://www.cse.chalmers.se/~laurako/
Contributions
ECOOP and ISSTA 2018-profile
View general profile
View general profile