Grupo de investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
Nuestro equipo
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).
Nuestro trabajo
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.
Áreas
- Tecnologías digitales, Inteligencia Artificial, ciberseguridad, 5G, robótica / Digital Technologies, Artificial Intelligence, Cybersecurity, 5G, Robotics
- Clima, energía y movilidad / Climate, Energy and Mobility
ODS (Objetivos de Desarrollo Sostenible)
- Industria, innovación e infraestructura / Industry, innovation and infrastructure
Palabras clave
programación blockchain certification computación software libre smart contracts concurrencia energy verificación parallelisation computing certificación energía concurrence programming contratos inteligentes free software blockchain paralelización verification