Observatorio de I+D+i UPM

| Otras actividades
HOME

Proyectos Internacionales Art�culos Patentes UPM Software UPM Empresas UPM Otras actividades Memorias de investigaci�n

Memorias de investigación

Proyecto de I+D+i:

DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE

A�o:2012

�reas de investigaci�n

Ingenier�as

Datos

Descripci�n
Proyecto Tipo A (5 anyos) 2008-05624/TIN
Internacional	No
Tipo de proyecto	Proyectos y convenios en convocatorias p�blicas competitivas
Entidad financiadora	Miniterio de Ciencia
Nacionalidad Entidad	ESPA�A
Tama�o de la entidad	Gran Empresa (>250)
Fecha concesi�n

Esta actividad pertenece a memorias de investigaci�n

Participantes

Director: Manuel de Hermenegildo Salinas UPM
Participante: Francisco Bueno Carrillo UPM
Participante: Manuel Carro Li�ares UPM
Participante: Edison Fernando Mera Men�ndez UPM
Codirector: Nikolaus Guyon Swoboda UPM
Participante: Remy Haemmerle . UPM
Participante: Dragan Ivanovic . UPM
Participante: Cesar Kunz . UPM

Grupos de investigaci�n, Departamentos, Centros e Institutos de I+D+i relacionados

Creador: Grupo de Investigaci�n: Computaci�n l�gica, Lenguajes, Implementaci�n y Paralelismo (CLIP)
Departamento: Inteligencia Artificial