We’re thrilled to announce that Laura Kovács was elected as the President and Chair of the Steering Committee of the European Joint Conferences on Theory and Practice of Software (ETAPS)!

ETAPS brings together researchers to explore both theoretical and practical aspects of Software Systems and unites a number of specialized conferences under one umbrella. Core conferences include Programming Languages and Implementation (ESOP), Foundations of Software Engineering (FASE), Theoretical Foundations of Software Science (FoSSaCS), and Tools and Algorithms for System Analysis (TACAS). Each conference maintains its own committees, ensuring focused expertise.

About Laura Kovács

Laura Kovács is Professor and Head of the Research Unit Formal Methods in Systems Engineering at TU Wien Informatics, where she leads the Automated Program Reasoning (APRe) group. Her research focuses on the design and development of new theories, technologies, and tools for program analysis, with a particular focus on 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 awarded with an ERC Starting Grant (2014), two ERC Proof of Concept Grants (2018 and 2025), an ERC Consolidator Grant (2020), and two Amazon Research Awards (2020 and 2023). She receives financial support from LEA (Let’s empower Austria) to promote and organize unplugged computer science workshops for elementary school children as part of TU Wien’s eduLAB.

Curious about our other news? Subscribe to our news feed, calendar, or newsletter, or follow us on social media.