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