ECOOP 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA
Laura Kovacs

Not registered as user yet

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

FTfJP 2018Committee Member in Program Committee within the FTfJP-track
Show activities from other conferences

ECOOP and ISSTA-profile
View general profile