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?

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
Alejandro de Haro
Alejandro de Haro
Ingeniero de software
Alejandro es un ingeniero informático y aeroespacial. Ha trabajado como investigador en UCI, en EEUU, en problemas de optimización de órbitas de satélites. También tiene experiencia en I+D en el sector del transporte como ingeniero de software.

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