PROgrama en MÉtodos para el Desarrollo de Software Fiable, de Alta Calidad y Seguro
|
|||||
|
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 |
||||