Dipl.-Ing. Katalin Fazekas
Since November 2015, I am 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 SMT, QBF and related problems.
Science Park 3 (SCP3), 2nd
Institute for Formal Models and Verification