Home En què som bons? Analitzem el seu cas gratis Qui som? Contacte

Barcelogic. Qui som?

Barcelogic es funda a la primavera de 2010 com spin-off de la Universitat Politècnica de Catalunya (UPC), Barcelona.

Robert Nieuwenhuis (Director I+D i fundador)

Robert és Catedràtic d'informàtica a la UPC. És molt conegut per les seves dues dècades d'investigació a la UPC i fora d'ella (per exemple, a l'Institut Max-Planck), sobre deducció automàtica, restriccions, procediments de decisió i la implementació eficient de lògiques, amb publicacions molt citades en els 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 editorial boards (J. of Automated Reasoning).

Javier Larrosa (Conseller tècnic i fundador)

Javier ha fet investigació d'alt impacte en algorismes per a la satisfacció de restriccions i ha desenvolupat eines premiades dedicades a l'optimització de restriccions toves (ToulBar, MiniMaxSat). És llicenciat i Doctor en informàtica per la UPC, M.Sc. in Knowledge Engineering (Middlesex Univ.) i va ser postdoc a la Univ. California Irvine el 2000. Pertany al editorial board del J. of Artificial Intelligence Research (JAIR) i ha estat membre de comitès de programa de AAAI, CP, ECAI y IJCAI, entre altres congressos importants.

Albert Oliveras (Conseller tècnic i fundador)

Albert és investigador a la UPC des de 2002, on és professor Lector des de 2007. Ha desenvolupat teoria, tècniques i conegudes eines punteres per Barcelogic en, per exemple, SAT, SMT i procediments de decisió, amb articles molt citats en les principals revistes i congressos de l'àrea. És llicenciat en matemàtiques (2002) i doctor en informàtica (2006) per la UPC.

Enric Rodríguez-Carbonell (Conseller tècnic i fundador)

Enric és llicenciat en matemàtiques (2002, número u de la seva promoció) i doctor en informàtica (2006) per la UPC. És professor Lector a la UPC des de 2007. Enric ha treballat en aplicacions a SMT de la programació lineal i altres tècniques d'investigació operativa, i és coautor dels premiats sistemes Barcelogic per SAT i SMT.

Finançament

La investigació i el desenvolupament subjacent a la premiada tecnologia Barcelogic han estat finançats, d'entre altres fonts, pels projectes LogicTools-1 y -2 (2005-08,2008-10) i per la distinció I3 de Robert Nieuwenhuis (tres anys de dedicació exclusiva a la investigació, 2008-10) del programa Ingenio 2010, tots ells del Ministerio de Ciencia e Innovación, així com per diverses personal annual research grants d'Intel Strategic CAD Labs (USA).

A UPC spinoff
Home En què som bons? Analitzem el seu cas gratis Qui som? Contacte	Barcelogic. Qui som? Barcelogic es funda a la primavera de 2010 com spin-off de la Universitat Politècnica de Catalunya (UPC), Barcelona. Robert Nieuwenhuis (Director I+D i fundador) Robert és Catedràtic d'informàtica a la UPC. És molt conegut per les seves dues dècades d'investigació a la UPC i fora d'ella (per exemple, a l'Institut Max-Planck), sobre deducció automàtica, restriccions, procediments de decisió i la implementació eficient de lògiques, amb publicacions molt citades en els 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 editorial boards (J. of Automated Reasoning). Javier Larrosa (Conseller tècnic i fundador) Javier ha fet investigació d'alt impacte en algorismes per a la satisfacció de restriccions i ha desenvolupat eines premiades dedicades a l'optimització de restriccions toves (ToulBar, MiniMaxSat). És llicenciat i Doctor en informàtica per la UPC, M.Sc. in Knowledge Engineering (Middlesex Univ.) i va ser postdoc a la Univ. California Irvine el 2000. Pertany al editorial board del J. of Artificial Intelligence Research (JAIR) i ha estat membre de comitès de programa de AAAI, CP, ECAI y IJCAI, entre altres congressos importants. Albert Oliveras (Conseller tècnic i fundador) Albert és investigador a la UPC des de 2002, on és professor Lector des de 2007. Ha desenvolupat teoria, tècniques i conegudes eines punteres per Barcelogic en, per exemple, SAT, SMT i procediments de decisió, amb articles molt citats en les principals revistes i congressos de l'àrea. És llicenciat en matemàtiques (2002) i doctor en informàtica (2006) per la UPC. Enric Rodríguez-Carbonell (Conseller tècnic i fundador) Enric és llicenciat en matemàtiques (2002, número u de la seva promoció) i doctor en informàtica (2006) per la UPC. És professor Lector a la UPC des de 2007. Enric ha treballat en aplicacions a SMT de la programació lineal i altres tècniques d'investigació operativa, i és coautor dels premiats sistemes Barcelogic per SAT i SMT. Finançament La investigació i el desenvolupament subjacent a la premiada tecnologia Barcelogic han estat finançats, d'entre altres fonts, pels projectes LogicTools-1 y -2 (2005-08,2008-10) i per la distinció I3 de Robert Nieuwenhuis (tres anys de dedicació exclusiva a la investigació, 2008-10) del programa Ingenio 2010, tots ells del Ministerio de Ciencia e Innovación, així com per diverses personal annual research grants d'Intel Strategic CAD Labs (USA).