Warning: file_get_contents(/home/barcelog/public_html/wp-content/plugins/themeisle-companion/vendor/codeinwp/themeisle-content-forms/composer.json): failed to open stream: No such file or directory in /home/barcelog/public_html/wp-content/plugins/themeisle-companion/vendor/codeinwp/themeisle-content-forms/load.php on line 64

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