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 a 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: Austria

Affiliation: Vienna University of Technology (TU Wien)

Personal website: https://forsyte.at/people/kovacs/

Research interests: Program verification, program analysis, automated reasoning, symbolic computation, theorem proving

Contributions

APLAS 2019Ordinary PC member in Program Committee within the Research Papers-track
FTfJP 2018Committee Member in Program Committee within the FTfJP-track
VMCAI 2018Committee Member in Program Committee within the VMCAI 2018-track
Author of Invariant Generation for Multi-Path Loops with Polynomial Assignments within the VMCAI 2018-track
POPL 2018Committee Member in Program Committee within the Research Papers-track
VMCAI 2017Committee Member in Program committee
POPL 2017Author of Coming to Terms with Quantified Reasoning within the POPL-track
CPP 2016Author of The Vampire and the FOOL within the CPP-track
Committee Member in Program Committee within the CPP-track
POPL 2016Committee Member in Program Committee
Committee Member in Program Committee within the Research Papers-track
ESOP 2015Author of Segment Abstraction for Worst-Case Execution Time Analysis within the ESOP-track