Laura Kovacs

Laura Kovacs is a Full Professor and Head of the Institute of Logic and Computation at TU Wien. She leads the Research Unit 'Formal Methods in Systems Engineering' and focuses on software verification, automated reasoning, and computational logic. Her roles include coordinating the 'Logic and Computation' research areas and promoting women in informatics.

• Affiliations: TU Wien, Vienna Science and Technology Fund (WWTF), European Commission projects (e.g., ARTIST, LEARN)
• Education: Masters (MSc) and doctorate in computer science.

Research Interests: Laura's work centers on formal methods, theorem proving, and automated reasoning applied to program analysis and cybersecurity. She develops tools like POLAR and CheckMate for probabilistic loop analysis and game-theoretic security. Her research bridges symbolic computation and logic, addressing challenges in software verification and probabilistic systems.

Grants & Projects: Includes European Commission-funded initiatives (e.g., Automated Reasoning with Theories and Induction for Software Technologies), WWTF grants (e.g., Semantic and Cryptographic Foundations), and industry partnerships (e.g., Amazon Research Awards). Notable projects include LEARN (2025–2026) and QuAT (2024–2025).

Labs/Teams: Leads the Logic and Computation Institute and collaborates with international teams on projects like FORSMART and SFB SPyCoDe.