- Project Assistant, Dipl.-Ing.
- Johannes Kepler University Linz
- Institute for Formal Models and Verification
- Altenbergerstraße 69
- 4040 Linz
- Austria
- E-mail : katalin.fazekas [at] jku.at
- Web: http://fmv.jku.at/fazekas
Research Interests
- Satisfiability Modulo Theories (SMT), Quantified Boolean Formulas (QBF), SAT
Current Position
- I am a PhD student fully funded by the Doctoral College Logical Methods in Computer Science. I started my PhD studies in November 2015 under the supervision of Prof. Armin Biere.
Education
- MSc in Software Engineering (JKU Linz), master thesis: EUF-Proofs for SMT4J, August 2015
- BSc in Software Information Technology (ELTE Budapest)
Publications
- Katalin Fazekas, Martina Seidl, Armin Biere, A Duality-Aware Calculus for Quantified Boolean Formulas [pdf] in: SYNASC 2016, pages 181-186, 2016.