Congratulations to our key researcher Laura Kovács!
We extend our warmest congratulations to our key researcher Laura Kovács on her election as a member of the Austrian Academy of Sciences (ÖAW), one of Austria’s most prestigious scientific institutions.
© Luiza_Puiu
Laura is among 46 outstanding researchers recognized in the 2026 intake for their scientific excellence and joins the Division of Mathematical and Natural Sciences. A recognition that reflects both her exceptional research contributions and her leadership in shaping the field of computer science.
Within the COMET Center SBA-K1 NGC she contributes to Project 1.3, which focuses on identifying and developing discrete mathematical structures from combinatorial design theory and discrete mathematics, designing efficient algorithms and complexity metrics to solve problems in applied computer science, spanning software security engineering, privacy, and cyber-physical systems.
As Professor and Head of the Research Unit for Formal Methods in Systems Engineering at TU Wien, Laura leads the Automated Program Reasoning (APRe) group. Her work focuses on program analysis, automated assertion generation, symbolic summation, computer algebra, and automated theorem proving. She is the co-developer of the Vampire theorem prover and a Wallenberg Academy Fellow of Sweden. Her research has been recognized with an ERC Starting Grant, two ERC Proof of Concept Grants, an ERC Consolidator Grant, two Amazon Research Awards, and most recently an FWF Emerging Fields Funding in 2026.
We are proud to have Laura as part of the SBA Research community. Congratulations, Laura!