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.