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).