Somos un grupo de investigadores de la ETSI Informáticos de la UPM y del Instituto IMDEA Software (el Instituto Madrileño de Estudios Avanzados en Tecnologías de Desarrollo de Software).
Ficha
Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
CLIP
Estructura: Grupos de investigación
Responsable: MANUEL DE HERMENEGILDO SALINAS
Teléfono: 910672893
Página web: cliplab.org
Correo electrónico: Áreas: Tecnologías digitales, Inteligencia Artificial, ciberseguridad, 5G, robótica
Clima, Energía y Movilidad
ODS: Industria, Innovación e Infraestructura
Correo electrónico: Áreas: Tecnologías digitales, Inteligencia Artificial, ciberseguridad, 5G, robótica
Clima, Energía y Movilidad
ODS: Industria, Innovación e Infraestructura
Las líneas de investigación en las que se basa nuestro trabajo son las siguientes:
- Herramientas de depuración, verificación y certificación de programas, incluidas propiedades o funcionales (energía, tiempo, memoria, etc.).
- Verificación y dertificación de contratos inteligentes.
- Diseño e implementación de lenguajes declarativos y multiparadigma
- Análisis estático y transformación automática de programas
- Computación paralela y distribuida, consciente de los recursos.
- Paralelización automática de programas.
- Compilación optimizante, evaluación parcial, máquinas abstractas, concurrencia.
- Análisis estático y transformación automática de programas
- Certificación de código móvil
- Compilación optimizante, máquinas abstrcatas, concurrencia.
- Computación distribuidad y paralela, consciente de los recursos
- Diseño e implementación de lenguajes declarativos y multiparadigma
- Herramientas de depuración y verificación de programas
El Grupo de Computación lógica, Lenguajes, Implementación y Paralelismo lleva más de 25 años de actividad investigadora en temas relacionados con el avance en los fundamentos, el análisis y la implementación de lenguajes de programación declarativos, la verificación y depuración estática de programas, el aprovechamiento eficiente y sencillo de las arquitecturas paralelas y distribuidas, la extensión de dichos lenguajes a nuevos paradigmas de computación (p.ej., de restricciones, con agentes, móvil, etc.) y la aplicación industrial de la investigación realizada a diversos campos prácticos.
El grupo desarrolla el sistema de programación multiparadigma Ciao, software libre bajo licencia LGPL, con numerosos usuarios industriales y académicos a nivel internacional. El grupo ha participado en más de 50 proyectos de investigación europeos, grupos de trabajo, redes temáticas y otros proyectos internacionales, nacionales, e industriales.
