Katalin Fazekas

Postdoctoral Researcher, Johannes Kepler University Linz

Katalin Fazekas completed her PhD studies at the Johannes Kepler University Linz, Austria, advised by Armin Biere and Martina Seidl in the Austrian doctoral program Logical Methods in Computer Science. The main focus of her graduate research was on solving the Boolean satisfiability problem and several possible extensions of it. Katalin currently works at the Vienna University of Technology (TU Wien) on developing technologies and methodologies for formal verification of low level software and embedded systems.

Program Visits

Extended Reunion: Satisfiability, Spring 2023, Visiting Scientist
Satisfiability: Theory, Practice, and Beyond, Spring 2021, Research Fellow