* El grupo Avispa se ocupa de la construcción de formalismos y herramientas para la representación y solución de problemas combinatorios mediante técnicas de restricciones. Estas técnicas son útiles en un gran espectro de aplicaciones, tales como planeamiento, asignación óptima de recursos, búsqueda inteligente de información en internet, generación de material en composición musical, edición inteligente de sonido, decodificación genética, soporte a la toma de decisiones y otras.

* Otro objetivo es la construcción y análisis de modelos de procesos concurrentes que integren diferentes paradigmas de programación y que representen adecuadamente sistemas móviles y distribuídos de computación. En particular, se busca utilizarlos como herramientas de modelamiento para descubrir propiedades fundamentales, tales como protocolos de seguridad en Internet o evolución de procesos en biología molecular.

* También concebir e implementar sistemas de software de ayuda a la composición musical mediante lenguajes visuales basados en programación por restricciones, particularmente de software que represente eficazmente el proceso de construcción de material musical complejo