[ publications | talks | office | contact | address ]
Dipl.-Ing. Katalin Fazekas
This page is no longer maintained, the current webpage can be found at http://kfazekas.github.io.
From November 2015 until my defense in July 2020, I was a Ph.D. student of Computer Science at JKU, supervised by Prof. Armin Biere, participating in the Austrian doctoral program Logical Methods in Computer Science (LogiCS) funded by FWF. My master thesis was about proofs in the context of SMT solving, and I continue to work on SAT, SMT, QBF and related problems.
PublicationsA list of my publications can be found here: Publications
Some of my talk slides:
Science Park 3 (SCP3), 2nd
Institute for Formal Models and Verification