Laura Kovács
Laura Kovács is a full professor of computer science at the TU Wien, leading the automated program reasoning (APRe) group of the Formal Methods in Systems Engineering division. 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 also been awarded with four ERC grants and two Amazon Research Awards. Recently, she received financial support from LEA Frauenfonds to disseminate unplugged computer science to elementary schools, while organising computer science workshops with school children at the TU Wien. Starting with May 2025, she is the president and steering committee chair of the ETAPS association, running the ETAPS conferences.
Talk: SAT in Saturation: A Satisfied Match
Joao Marques-Silva
Joao Marques-Silva is a Research Professor of ICREA (Catalan Institution for Research and Advanced Studies), being affiliated with the University of Lleida, Spain. Before joining ICREA, Joao Marques-Silva held senior academic appointments at CNRS in France, the University College Dublin in Ireland, the University of Southampton in the United Kingdom, and the University of Lisbon in Portugal. Dr. Marques-Silva was elected Fellow of the EurAI in 2023 and of the IEEE in 2016, and he received the 2009 CAV Award for fundamental contributions to the development of high-performance Boolean satisfiability solvers. His research interests comprise automated reasoning and its applications, including machine learning.