Robert es Catedrático de informática en la UPC. Es muy conocido por sus dos décadas de investigación en la UPC y fuera de ella (p.e., en el Instituto Max-Planck), sobre deducción automática, restricciones, procedimientos de decisión y la implementación eficiente de lógicas, con publicaciones muy citadas en los principales congresos y revistas, y con reconocimiento como conferenciante invitado (SAT, RTA, CADE, LPAR), presidente de comités de programa (LPAR, RTA, CADE), y miembro de juntas de editorial (J. of Automated Reasoning).