Ambientes Visuales de Programación Aplicativa (AVISPA)
Este grupo se dedica a la creación y análisis de modelos computacionales, la verificación automática de sistemas complejos, los problemas de optimización u satisfacción de restricciones, la lógica matemática y la lógica de reescritura; la semántica de lenguajes de programación, la teoría de pruebas, el diseño de algoritmos y el machine learning.
El grupo tiene tres ejes de acción que parten de la búsqueda de formalismos para modelar procesos concurrentes y distribuidos, la teoría y aplicaciones de la programación concurrente de restricciones, y la programación con restricciones para la solución de problemas de optimización combinatoria.
![AVISPA AVISPA](/sites/default/files/styles/image_800x600/public/2023-09/pexels-christina-morillo-1181474_0.jpg.webp?itok=VMA0m8bd)