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:

BLOQUES-CM: CONTRATOS INTELIGENTES Y BLOCKCHAINS ESCALABLES Y SEGUROS MEDIANTE VERIFICACION Y ANALISIS (BABEL-CLIP-UPM)

A�o:2019

�reas de investigaci�n

Ciencias de la computaci�n y tecnolog�a inform�tica

Datos

Descripci�n
Programas I+D Tecnolog�as 2019 Comunidad de Madrid
Internacional	No
Tipo de proyecto	Proyectos y convenios en convocatorias p�blicas competitivas
Entidad financiadora	Comunidad de Madrid
Nacionalidad Entidad	ESPA�A
Tama�o de la entidad	Desconocido
Fecha concesi�n

Esta actividad pertenece a memorias de investigaci�n

Participantes

Director: Manuel Carro Li�ares UPM
Participante: Manuel de Hermenegildo Salinas UPM
Participante: Francisco Bueno Carrillo UPM
Participante: Lars-Ake Fredlund UPM
Participante: Clara Benac Earle UPM
Participante: Angel Herranz Nieva UPM
Participante: Julio Mari�o Carballo UPM
Participante: Susana Mu�oz Hernandez UPM
Participante: Guillermo Roman Diez UPM
Participante: Damiano Zanardini UPM
Participante: Ruben Blasco Aguado 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)
Grupo de Investigaci�n: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnolog�a Declarativa
Departamento: Inteligencia Artificial
Departamento: Lenguajes y Sistemas Inform�ticos e Ingenier�a de Software