The Vampire Diary
Laura Kovács, Vienna University of Technology, Austria
Bio:
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. She is actively engaged in disseminating computer science results to schools, while organising computer science workshops with school children at the TU Wien and in Austrian schools. Starting with May 2025, she is the president and steering committee chair of the ETAPS association, running the ETAPS conferences.
CSLib: Building a Platform for AI-assisted Formal Verification in Lean
Clark Barrett, Stanford University, USA
Bio:
Clark Barrett is the Mizuki Asano and Thomas McGrath Professor (Research) of Computer Science in the School of Engineering at Stanford University. Before coming to Stanford in 2016, he was an Associate Professor of Computer Science at the Courant Institute of Mathematical Sciences at New York University. His expertise is in automated reasoning and its applications. He was an early pioneer in satisfiability modulo theories, formal hardware verification, and neural network verification. More recently, he has also pioneered efforts on AI-assisted formal verification. He is the director of the Stanford Center for Automated Reasoning (Centaur), co-director of the Stanford Center for AI Safety, and a member of the CSLib steering committee. He is an ACM Fellow and a two-time winner of the Computer Aided Verification (CAV) award (2021, 2024).