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