Home What are we good at? We analyze your case for free Who are we? Contact

Barcelogic. Who are we?

Barcelogic was founded Fall 2009 as a spinoff from the Technical University of Catalonia (UPC), Barcelona.

Robert Nieuwenhuis (CTO and founder)

Robert is a professor of Computer Science at UPC. He is well known for his two decades of research at UPC and abroad (e.g., at the Max-Planck-Institute), on automated reasoning, constraints, decision procedures and the efficient implementation of logics, with highly-cited publications in main conferences and journals. Has has received recognition as an invited speaker (SAT, RTA, CADE, LPAR), program committee chair (LPAR, RTA, CADE), and editorial board member (Journal of Automated Reasoning).

The R&D behind the award-winning Barcelogic technology was funded by, among others, the LogicTools-1 and -2 projects (2005-08,2008-10) awarded to his research group, and by a personal I3 three-year research-only fellowship (2008-10), all from the Spanish Ministry of Science and Innovation, as well as by personal annual research grants from Intel Strategic CAD Labs (USA).

Javier Larrosa (Technical advisor and founder)

Javier has done highly-cited work on algorithms for constraint satisfaction (forward checking, maintaining arc consistency), especially for soft constraints. He is an author of award-winning tools for soft constraint optimisation (ToulBar, MiniMaxSat).

He has B.A. and PhD in Computer Science from UPC, M.Sch. in Knowledge Engineering (Middlesex University, London) and did a postdoc at University of California Irvine, USA in 2000. He is associate professor at UPC since 1999, and got his national habilitation for professor in 2009. Javier is editorial board member of the Journal of Artificial Intelligence Research (JAIR) and has been program comittee member of AAAI, CP, ECAI and IJCAI, among other main conferences.

Albert Oliveras (Technical advisor and founder)

Albert has been doing research at UPC since 2002, where he is assistant professor since 2007. His research has been focused on SAT, SMT and decision procedures, areas in which he has developed theory, techniques and tools. This had led to highly-cited papers in main conferences and journals, and to well-known state-of-the-art tools.

He has a M.S in Mathematics (2002) and a PhD in Computer Science (2006), both from UPC. The research in his thesis established the initial grounds for the current Barcelogic SMT technology. Albert has been program committee member of conferences like SAT and CADE, and also of workshops like SMT, of which he has been program commitee chair.

Enric Rodríguez-Carbonell (Technical advisor and founder)

Enric got his M.S. in Mathematics from UPC in 2002 with the best grades among all students who graduated that year. The research carried out in his thesis on program analysis and verification had a remarkable impact, and scientific figures such as Zohar Manna or Patrick Cousot were members of his thesis board. After getting his PhD in Computer Science (2006) from UPC, Enric has focused on applications of linear programming and other techniques of operations research to SMT, being co-author of award-winning tools for SAT and SMT (Barcelogic). He is assistant professor at UPC since 2007 and has been teaching computational logics at both undergraduate and master level.

A UPC spinoff
Home What are we good at? We analyze your case for free Who are we? Contact	Barcelogic. Who are we? Barcelogic was founded Fall 2009 as a spinoff from the Technical University of Catalonia (UPC), Barcelona. Robert Nieuwenhuis (CTO and founder) Robert is a professor of Computer Science at UPC. He is well known for his two decades of research at UPC and abroad (e.g., at the Max-Planck-Institute), on automated reasoning, constraints, decision procedures and the efficient implementation of logics, with highly-cited publications in main conferences and journals. Has has received recognition as an invited speaker (SAT, RTA, CADE, LPAR), program committee chair (LPAR, RTA, CADE), and editorial board member (Journal of Automated Reasoning). The R&D behind the award-winning Barcelogic technology was funded by, among others, the LogicTools-1 and -2 projects (2005-08,2008-10) awarded to his research group, and by a personal I3 three-year research-only fellowship (2008-10), all from the Spanish Ministry of Science and Innovation, as well as by personal annual research grants from Intel Strategic CAD Labs (USA). Javier Larrosa (Technical advisor and founder) Javier has done highly-cited work on algorithms for constraint satisfaction (forward checking, maintaining arc consistency), especially for soft constraints. He is an author of award-winning tools for soft constraint optimisation (ToulBar, MiniMaxSat). He has B.A. and PhD in Computer Science from UPC, M.Sch. in Knowledge Engineering (Middlesex University, London) and did a postdoc at University of California Irvine, USA in 2000. He is associate professor at UPC since 1999, and got his national habilitation for professor in 2009. Javier is editorial board member of the Journal of Artificial Intelligence Research (JAIR) and has been program comittee member of AAAI, CP, ECAI and IJCAI, among other main conferences. Albert Oliveras (Technical advisor and founder) Albert has been doing research at UPC since 2002, where he is assistant professor since 2007. His research has been focused on SAT, SMT and decision procedures, areas in which he has developed theory, techniques and tools. This had led to highly-cited papers in main conferences and journals, and to well-known state-of-the-art tools. He has a M.S in Mathematics (2002) and a PhD in Computer Science (2006), both from UPC. The research in his thesis established the initial grounds for the current Barcelogic SMT technology. Albert has been program committee member of conferences like SAT and CADE, and also of workshops like SMT, of which he has been program commitee chair. Enric Rodríguez-Carbonell (Technical advisor and founder) Enric got his M.S. in Mathematics from UPC in 2002 with the best grades among all students who graduated that year. The research carried out in his thesis on program analysis and verification had a remarkable impact, and scientific figures such as Zohar Manna or Patrick Cousot were members of his thesis board. After getting his PhD in Computer Science (2006) from UPC, Enric has focused on applications of linear programming and other techniques of operations research to SMT, being co-author of award-winning tools for SAT and SMT (Barcelogic). He is assistant professor at UPC since 2007 and has been teaching computational logics at both undergraduate and master level.