Katalin Fazekas

Katalin Fazekas is an Assistant Professor in the Formal Methods in Systems Engineering group at TU Wien. Her research focuses on improving incremental reasoning methods for SAT/SMT solvers and advancing formal verification techniques. She holds a PhD from the Johannes Kepler University Linz, supervised by Armin Biere.

Education:

• PhD in Logical Methods in Computer Science (LogiCS), JKU Linz (2016–2021)

Research Interests:

• Incremental SAT/SMT solving
• Formal verification of distributed systems
• Algorithm optimization for constraint solving
• Automated reasoning and proof generation

Key Projects:

• INCR (2021–2024): Austrian Science Fund (FWF) project on scalable verification via incremental reasoning
• REVEAL-AI and SLIM: Collaborative projects on AI-driven formal methods

Awards:

• Hertha Firnberg Fellowship (FWF), 2021–2024

Tools Developed:

• CaDiCaL 2.0: Advanced SAT solver
• QSM: Quantified symmetric minimization framework for distributed protocols

Lab/Affiliations: FORSYTE research group, TU Wien.