Línea: Especificación, modelamiento y verificación de sistemas complejos
Objetivos:
- Diseñar cálculos de procesos concurrentes de restricciones eficaces para modelar sistemas complejos
- Idear mecanismos automáticos eficientes de verificación de propiedades de los sistemas
- Modelar sistemas complejos en distintas áreas de la ciencia e ingeniería Línea: Modelamiento y construcción de software 

Línea: Modelamiento formal de software
Objetivo: Encontrar metodologías formales aplicables en situaciones reales  para el modelamiento, diseño e implementación de software probadamente correcto

Línea: Programación concurrente de restricciones
Objetivo: Proponer lenguajes, metodologías  y mecanismos de restricciones para la solución eficiente de problemas combinatorios