I’m a PhD student at the Czech Institute of Informatics, Robotics, and Cybernetics (CIIRC), in the Department of Formal Methods and Automated Reasoning. My research focuses on improving SMT solvers for quantified formulas. Current interests include:
dancomar@cvut.cz