|
|
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).
|
|
|
En Robert és Catedràtico d'informàtica a la UPC. És molt conegut per les seves dues dècades d'investigació a la UPC i fora d'ella (p.e. a l'institut Max-Planck), sobre deducció automàtica, restriccions, procediments de decisió i la implementació eficient de lògiques, amb publicacions molt citades als principals congressos i revistes, i amb reconeixement com a conferenciant convidat (SAT, RTA, CADE, LPAR), president de comités de programa (LPAR, RTA, CADE) i membre de juntes editorials (J. of Automated Reasoning).
|
