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
Actividades y otros datos de interes

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.

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)