Avispa se interesa en explorar formalismos que permitan modelar y construir sistemas de manera que se puedan expresar y verificar con precisión sus propiedades. Los formalismos que privilegia el grupo son aquellos que permitan una visión dual del sistema: la de mecanismo de cómputo, por una parte, que permita construir simuladores eficientes y la de fórmula lógica, por otra, que permita verificar automáticamente sus propiedades.

Además, Avispa considera que para que sus modelos sean efectivos en muchas aplicaciones del mundo real es necesario que los formalismos admitan  representar sistemas capaces de actuar en presencia de información parcial (i.e. restricciones) sobre su entorno. El enfoque del grupo es entonces hacia formalismos derivados de la teoría de procesos concurrentes, en particular los cálculos de procesos concurrentes guiados por restricciones (concurrent constraints process calculi ). Un aspecto que se deriva de esto es la búsqueda de mecanismos y tecnologías de restricciones para resolver problemas combinatorios.

GRUPLAC:

Para ingresar al GRUPLAC Colciencias clic aquí.