Laura Kovacs

Laura Kovacs is a Professor at TU Wien's Research Area Formal Methods in Systems Engineering. Her work focuses on automated reasoning, symbolic computation, and formal verification of (probabilistic) programs. She leads projects like Automated Reasoning with Theories and Induction and Effective Formal Methods for Smart-Contract Certification.

• Key research areas: Automated Reasoning, Formal Methods, SMT Solving
• Projects: Game-Theoretic Security, Probabilistic Loop Analysis

Recent publications emphasize SAT-based subsumption, induction in saturation, and algebraic loop reasoning. Her team includes researchers like Marcel Moosbrugger and Sophie Rain. She contributes to tools like Vampire and Z3 for symbolic attackers and finite field reasoning.