About
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.
0Publications listed
Find Laura Kovács elsewhere
Related Searches
You Might Also Like
Laura KovácsVienna University of Technology · Professor
Laura KovacsBrown University · Professor- LLaura KovacsVienna University of Technology · Professor
- JJasmin BlanchetteLudwig Maximilian University of Munich · Professor
- SStefan HetzlVienna University of Technology · Associate Professor
Julie CaillerSingapore Management University · Associate Professor