N-GREENS SOFTWARE
NEXT-GENERATION ENERGY-EFFICIENT SECURE SOFTWARE
Descripción
  Resumen
  Palabras clave
  Grupos de investigación
Investigación
Personal
Charlas & Eventos
Ofertas de empleo
Contacto
Programa Anterior
PROMESAS
PROMETIDOS
Comunidad de Madrid
mid

EU flag

Grupo FADOSS (UCM)

El grupo FADOSS: Diseño y Análisis Formal de Sistemas Software, del que es investigador principal Narciso Martí Oliet, también ha sido reconocido recientemente como grupo de investigación oficial por la Universidad Complutense de Madrid. Este grupo surge de la evolución y reorganización del grupo de métodos formales para la concurrencia, liderado desde los años 80 por David de Frutos y pionero en nuestro país en el campo de los modelos algebraicos para la concurrencia. Los miembros actuales del grupo han participado, entre otros, en los siguientes proyectos CICYT: DISC, DFSD, EDEN, AMEVA, MELODIAS y MIDAS. Este grupo también ha perseguido la aplicación de los desarrollos teóricos alcanzados en sistemas concretos de especificación (Maude), programación (Maude y Eden) y verificación (ITP). Información más detallada puede encontrarse en la página web del grupo FADOSS.

< Volver a los Grupos de investigación