FAZEKAS

Since October 2021, I am a Hertha Firnberg Fellow (funded by FWF) in the group of Formal Methods in Systems Engineering (FORSYTE) at the Technical University of Vienna (TU Wien). In my current research I focus on improving the incremental reasoning methods of SAT and SMT solvers, and thereby aim to push the boundaries of formal verification techniques. I am interested in the theoretical study and practical improvement of algorithms underlying SAT, QBF and SMT solvers... Previously I was a Research Fellow at the Simons Institute for the Theory of Computing (UC Berkeley) in the program 'Satisfiability: Theory, Practice, and Beyond', under the mentorship of Karem Sakallah (spring semester 2021). Before that, I was a post-doctoral researcher in the FORSYTE group at TU Wien, focusing on the formal verification of AUTOSAR software components with Georg Weissenbacher.

Primary location: Vienna Austria