Barcelogic is a spin-off from the Technical University of Catalonia (UPC, aka Barcelona Tech). It is owned by Robert Nieuwenhuis and Barcelona Tech. Barcelogic applies its world-class logic-based solvers, as well as other math and constraint-programming-based methods) to hard industrial combinatorial optimization problems. It has customers in professional sports scheduling in Holland, Portugal, Denmark and Spain (soccer and basketball), and in logistics for one of the world's larger clothing companies. Barcelogic also provides customized solvers for optimal employee scheduling, vehicle routing and industrial task planning.

Research in Constraint Programming, Algorithms, Computer Science Logic, and Optimization.