The Vampire Diary
Laura Kovács, Vienna University of Technology, Austria
(Invited Talk)
Abstract:
TBA
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.