Observatorio de I+D+i UPM

Grupo de Investigaci�n: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnolog�a Declarativa

Investigador Responsable

Escuela UPM

E.T.S. DE INGENIEROS INFORM�TICOS

Otros Centros implicados

Web

E-mail

gi.babelupm.es

Tel�fono

Estado del grupo

Consolidado

A�o: 2006 A�o: 2007 A�o: 2008 A�o: 2009 A�o: 2010 A�o: 2011 A�o: 2012 A�o: 2013 A�o: 2014 A�o: 2015 A�o: 2016 A�o: 2017 A�o: 2018 A�o: 2019 Ver Evolución Anual

AYUDANTE
Luis Eduardo Bueso De Barrio	E.T.S. de Ingenieros Inform�ticos (Lenguajes y Sistemas Inform�ticos e Ingenier�a de Software)

L.D. PRF.COLABORADOR
�ngel Herranz Nieva	E.T.S. de Ingenieros Inform�ticos (Lenguajes y Sistemas Inform�ticos e Ingenier�a de Software)

L.D. PRF.CONTR.DOCT.
Clara Benac Earle	E.T.S. de Ingenieros Inform�ticos (Lenguajes y Sistemas Inform�ticos e Ingenier�a de Software)
Lars-Ake Fredlund .	E.T.S. de Ingenieros Inform�ticos (Lenguajes y Sistemas Inform�ticos e Ingenier�a de Software)
Julio Mari�o Carballo	E.T.S. de Ingenieros Inform�ticos (Lenguajes y Sistemas Inform�ticos e Ingenier�a de Software)
Susana Mu�oz Hern�ndez	E.T.S. de Ingenieros Inform�ticos (Lenguajes y Sistemas Inform�ticos e Ingenier�a de Software)

CATEDRATICO UNIVERSIDAD
Juan Jos� Moreno Navarro	E.T.S. de Ingenieros Inform�ticos (Lenguajes y Sistemas Inform�ticos e Ingenier�a de Software)

TITULAR UNIVERSIDAD
Guillermo Rom�n D�ez	E.T.S. de Ingenieros Inform�ticos (Lenguajes y Sistemas Inform�ticos e Ingenier�a de Software)
Damiano Zanardini .	E.T.S. de Ingenieros Inform�ticos (Inteligencia Artificial)

Lineas	Investigador responsable
Especificaci�n, dise�o y programaci�n con componentes software
Especificaci�n, desarrollo, verificaci�n y validaci�n en aplicaciones
Tecnolog�a y Sistemas de programaci�n Declarativa
Tecnolog�as de desarrollo de Software fiable de alta calidad