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, and recognition as an invited speaker (SAT, RTA, CADE, LPAR), program committee chair (LPAR, RTA, CADE), and editorial board member (J. of Automated Reasoning).

Javier Larrosa (Technical advisor and founder)

Javier has done highly-cited work on algorithms for constraint satisfaction and has developed 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 Univ.) and did a postdoc at Univ. California Irvine in 2000. He is is editorial board member of the J. 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. He has developed theory, techniques and well-known state-of-the-art tools for Barcelogic on, e.g., SAT, SMT and decision procedures, with highly-cited papers in main conferences and journals. He has a M.S in Mathematics (2002) and a PhD in Computer Science (2006), both from UPC.

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

Enric has a M.S. in Mathematics (2002, #1 of his year) and a PhD in Computer Science (2006), both from UPC. He is assistant professor at UPC since 2007. Enric has worked 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).

Funding

The R&D behind the award-winning Barcelogic technology was funded by, among others, the LogicTools-1 and -2 projects (2005-08,2008-10) and by Robert Nieuwenhuis' 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).

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, and recognition as an invited speaker (SAT, RTA, CADE, LPAR), program committee chair (LPAR, RTA, CADE), and editorial board member (J. of Automated Reasoning). Javier Larrosa (Technical advisor and founder) Javier has done highly-cited work on algorithms for constraint satisfaction and has developed 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 Univ.) and did a postdoc at Univ. California Irvine in 2000. He is is editorial board member of the J. 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. He has developed theory, techniques and well-known state-of-the-art tools for Barcelogic on, e.g., SAT, SMT and decision procedures, with highly-cited papers in main conferences and journals. He has a M.S in Mathematics (2002) and a PhD in Computer Science (2006), both from UPC. Enric Rodríguez-Carbonell (Technical advisor and founder) Enric has a M.S. in Mathematics (2002, #1 of his year) and a PhD in Computer Science (2006), both from UPC. He is assistant professor at UPC since 2007. Enric has worked 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). Funding The R&D behind the award-winning Barcelogic technology was funded by, among others, the LogicTools-1 and -2 projects (2005-08,2008-10) and by Robert Nieuwenhuis' 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).