8 June, 2016

Robert Nieuwenhuis

PENTAX Image

Director I+D y fundador de Barcelogic

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 (por ej., 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 editorial boards (J. of Automated Reasoning).