PROMESAS
PROgrama en MÉtodos para el Desarrollo de Software Fiable, de Alta Calidad y Seguro
English     |     Español
mid
Descripción
  Resumen
  Palabras clave
  Objetivos
  Actividades
  Grupos de investigación
  Otros aspectos
Investigación
Participación de la empresa
Personal
Charlas & Eventos
Ofertas de empleo
Poster
Brochure
Links institucionales
Contacto
Support
Comunidad de Madrid EU flag

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 groupo CLIP.

< Volver a los Grupos de investigación
contact the webmaster