We make efficiency simple for you

¿Qué es Barcelogic?

Misión

Aplicar nuestra nueva tecnología de optimización combinatoria premiada mundialmente , bajo el lema “we make efficiency simple for you”.

Generar mejoras con un alto potencial de impacto sobre beneficios y costes, sobre el bienestar y la productividad de las personas, y también para el medio ambiente.

Orígenes

Spin-off de la Universidad Politécnica de Cataluña

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

Nuestro equipo

Robert Nieuwenhuis

Robert es catedrático de informática en la UPC. Es muy conocido por sus dos décadas de investigación sobre deducción automática, restricciones, procedimientos de decisión y la implementación eficiente de lógicas.

Enric Rodríguez-Carbonell

Consejero técnico y fundador
Profesor Lector en la UPC
Enric es profesor Contratado Doctor en la UPC desde 2012. 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.

Albert Oliveras

Consejero técnico y fundador
Profesor Lector en la UPC
Albert, profesor Contratado Doctor en la UPC, es un reconocido experto en técnicas para SAT, Max-SAT y SMT, donde descata por ser co-autor del método DPLL(T).

IGNASI ABIO

Research & Developer
Ignasi es investigador en optimización y decision science. Defendió su doctorado en optimización combinatoria en la UPC, y ha trabajado como postdoc en NiCTA, en Australia.

Javier Larrosa

Javier, catedrático de informática de informática en la UPC, 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).

Ivan Dotu

Consejero técnico
Profesor de Investigación en el Boston College
Ivan es investigador visitante en GRIB (Barcelona) y es CTO y co-fundador de Moirai Biodesign. Es un experto en aplicaciones de optimización combinatoria; en particular, en biología computacional y diseño de ARN.

CARLES MARCET

Director de Marketing y fundador
Carles es titulado en Dirección General (PDG EADA). Posee una amplia experiencia de más de 20 años como directivo desempeñando diversas funciones empresariales: Dirección de Sistemas y Organización, Dirección de Proyectos, Dirección General y Dirección de Marketing.

OBJETIVOS

Go to Planificación de recursos

Planificación de recursos

Módulos software SAAS y consultoría para la planificación eficiente de tareas bajo recursos limitados (maquinaria y su mantenimiento, transporte, RRHH, materias primas, almacenaje), optimizando ingresos y minimizando costes.

Go to Planificación deportiva profesional

Planificación deportiva profesional

Módulos software, SAAS y consultoría para diseñar el mejor calendario bajo condicionantes deportivos, comerciales y de orden público, maximizando el atractivo global y los ingresos, y minimizando costes.

Desarrollo de solvers

Módulos software y SAAS para que nuestros clientes puedan utilizar nuestros mejores solvers para sus problemas de optimización combinatoria:
– SAT
– SAT Módulo Teorías (SMT)
– 0-1 integer programming
– Integer programming