Laura Kovács

Laura Kovács is a Professor at the Faculty of Informatics of the Vienna University of Technology (TU Wien), where she leads the Automated Program Reasoning (APRe) Group. Her work focuses on developing computer-aided methods for program analysis and verification.

Research Interests:

• Automated Theorem Proving
• Automated Assertion Generation
• Symbolic Computation
• Formal Methods in Systems Engineering

Scientific Awards & Grants:

• ERC Consolidator Grant 2020 ARTIST
• Amazon Research Award 2020 FOREST
• Promotion Prize 2021 in STEM from the City of Vienna
• ERC Proof of Concept 2018
• ERC Starting Grant 2014
• Wallenberg Academy Fellow 2014

She has co-chaired major conferences including IJCAR 2022, LPAR 2020, and CONCUR 2020, and has contributed to accepted papers at CAV 2021, CADE 2021, and ESOP 2021.