Nuestras Áreas

¿Qué podemos hacer por ti?
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.

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.

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, SMT, programación entera 0-1, programación entera, etc.

¡Y Más!

¿Tienes un problema complejo de planificación? Necesitas aprovechar al máximo los recursos disponibles y no puedes encontrar la mejor manera de hacerlo? O simplemente tienes algún problema combinatorio que necesite ser solucionado de forma óptima? ¡También estamos aquí para ti!

¿Cómo lo hacemos?

Nuestros clientes

¿Qué hemos hecho hasta ahora?
Go Back

Sobre Nosotros

¿Qué es Barcelogic?
Spin-off de UPC Barcelona Tech

MISIÓN
Aplicamos nuestra nueva tecnología de optimización combinatoria premiada mundialmente, así como otros métodos matemáticos y de programación de restricciones, a problemas de optimización combinatoria del mundo real bajo el lema "we make efficiency simple for you".

ORÍGENES
Barcelogic se funda en la primavera de 2010 como spin-off de UPC Barcelona Tech, en Barcelona.

  • Análisis del Problema

    Lo desmenuzamos

  • Formalización del Problema

    lo formulamos de forma inambígua

  • Implementación Eficiente del Solver

    programamos las restricciones

  • Generación de Soluciones

    y obtenemos una solución

Nuestro Equipo

¿Quiénes somos?
Robert Nieuwenhuis
Robert Nieuwenhuis
CEO y fundador
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.

Saber más
Enric Rodríguez-Carbonell
Enric Rodríguez-Carbonell
Consejero técnico y fundador
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.

Saber más
Albert Oliveras
Albert Oliveras
Consejero técnico y fundador
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).

Saber más
Ignasi Abio
Ignasi Abio
Investigación y desarrollo
Ignasi es investigador en optimización y ciencia de decisión. Defendió su doctorado en optimización combinatoria en la UPC, y ha trabajado como postdoc en NICTA, en Australia.

Saber más
Ivan Dotu
Ivan Dotu
Consejero técnico
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.

Saber más
Carles Marcet
Carles tiene 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.

Saber más

Contacto