8 June, 2016

Robert Nieuwenhuis

PENTAX Image

CTO & founder

Robert is a professor of Computer Science at UPC. He is well known for his two decades of research at UPC and abroad (e.g., at the Max-Planck-Institute), on automated reasoning, constraints, decision procedures and the efficient implementation of logics, with highly-cited publications in main conferences and journals, and recognition as an invited speaker (SAT, RTA, CADE, LPAR), program committee chair (LPAR, RTA, CADE), and editorial board member (J. of Automated Reasoning).