Barcelogic. ¿Quiénes somos?

Barcelogic se funda en la primavera de 2010 como spin-off de la Universidad Politécnica de Cataluña (UPC), Barcelona.

Robert Nieuwenhuis (Director I+D y fundador)

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

Javier Larrosa (Consejero técnico y fundador)

Javier ha hecho investigación de alto impacto en algoritmos para la satisfacción de restricciones y ha desarrollado herramientas premiadas para la optimización de restricciones blandas (ToulBar, MiniMaxSat). Es licenciado y Doctor en informática por la UPC, M.Sc. in Knowledge Engineering (Middlesex Univ.) y fue postdoc en la Univ. California Irvine en 2000. Pertenece al editorial board del J. of Artificial Intelligence Research (JAIR) y ha sido miembro de comités de programa de AAAI, CP, ECAI y IJCAI, entre otros congresos importantes.

Albert Oliveras (Consejero técnico y fundador)

Albert es investigador en la UPC desde 2002, donde es profesor Lector desde 2007. Ha desarrollado teoría, técnicas y conocidas herramientas punteras para Barcelogic, en, por ej., SAT, SMT y procedimientos de decisión, con artículos muy citados en las principales revistas y congresos del área. Es licenciado en matemáticas (2002) y doctor en informática (2006) por la UPC.

Enric Rodríguez-Carbonell (Consejero técnico y fundador)

Enric es licenciado en matemáticas (2002, número uno de su promoción) y doctor en informática (2006) por la UPC. Es profesor Lector en UPC desde 2007. Enric ha trabajado en aplicaciones a SMT de la programación lineal y otras técnicas de investigación operativa, y es co-autor de los premiados sistemas Barcelogic para SAT y SMT.

Financiación

La investigación y el desarrollo subyacentes a la premiada tecnología Barcelogic han sido financiados, entre otras fuentes, por los proyectos LogicTools-1 y -2 (2005-08,2008-10) y por la distinción I3 de Robert Nieuwenhuis (tres años de dedicación exclusiva a la investigación, 2008-10) del programa Ingenio 2010, todos ellos del Ministerio de Ciencia e Innovación, así como por varias personal annual research grants de Intel Strategic CAD Labs (USA).