Laura Kovacs is a full professor in computer science at the TU Wien, leading the automated program reasoning (APRe) research group. She also holds a part-time professorship at the Chalmers University of Technology, Gothenburg, Sweden.
In her research, Laura Kovacs deals with the design of new theories, technologies, and tools for automating software analysis and verification. Her work combines and develops methods in symbolic summation, computer algebra and automated theorem proving in support of rigorous system engineering. She is the co-developer of the award-winner Vampire theorem prover. She is a Wallenberg Academy Fellow of the Swedish Wallenberg Foundation and an ERC Grantee (ERC Starting and Proof of Concept Grants).