BLOQUES
Contratos Inteligentes y Blockchains Escalables y Seguros mediante Verificación y Análisis
S2018/TCS-4339 (BLOQUES-CM)
Descripción
  Resumen
  Palabras clave
  Grupos de investigación
Objetivos investigación
Resultados
Difusión
Ofertas de empleo
Contacto
Programa Anterior
PROMESAS
PROMETIDOS
N-GREENS
Soporte
Comunidad de Madrid
mid

EU flag
Destacados
Últimas novedades empleo
Últimas novedades noticias

Grupo CLIP (UPM)

El grupo CLIP: Computación lógica, Lenguajes, Implementación y Paralelismo, reconocido recientemente como grupo de investigación oficial por la Universidad Politécnica de Madrid, lleva activo más de quince años desde su fundación en 1989 por su director, Manuel Hermenegildo, y centra su labor 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 25 proyectos de investigación europeos, grupos de trabajo, redes temáticas y otros proyectos internacionales y nacionales. Ha organizado varios congresos internacionales y ha sido anfitrión de la visita de más de 35 investigadores de todo el mundo por períodos que van desde varios días a varios meses. También ha colaborado con un buen número de empresas en distintos proyectos, transfiriendo tecnología a la industria. Entre otras podemos mencionar las siguientes: Software AG España, Motorola Inc. (EEUU), Iberdrola, PrologIA (Francia), Ibermática, }Open Source Architecture, Dalet (Israel), y Conecta (Italia). Se puede encontrar información más detallada sobre el grupo investigador y sobre el sistema Ciao en la pagína web del grupo CLIP.

< Volver a los Grupos de investigación