Observatorio de I+D+i UPM

Ficha General
Ficha Técnica
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.

Datos de contacto

Investigador Principal: Manuel de Hermenegildo Salinas

E-mail: manuel.hermenegildo@upm.es

Web: http://www.cliplab.org

Á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 | computación | software libre | concurrencia | verificación | certificación | energía | contratos inteligentes | blockchain | paralelización

S2i 2021 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)