BLOQUES
Contratos Inteligentes y Blockchains Escalables y Seguros mediante Verificación y Análisis
S2018/TCS-4339 (BLOQUES-CM)
Descripción
  Resumen
  Palabras clave
  Grupos de investigación
Objetivos investigación
Resultados
Difusión
Ofertas de empleo
Contacto
Programa Anterior
PROMESAS
PROMETIDOS
N-GREENS
Soporte
Comunidad de Madrid
mid

EU flag
Destacados
Últimas novedades empleo
Últimas novedades noticias

Grupos de investigación

Instituto IMDEA Software
Universidad Politécnica de Madrid
Grupo CLIP Grupo Babel
Universidad Politécnica de Madrid
Grupo Fadoss

GRUPO IMDEA (IMDEA Software)

Caballero Bayerri, Juan (coordinador del programa) Doctor
Arias Herrero, Joaquín Investigador predoctoral
Barthe, Gilles Doctor
Bravo Gestoso, Manuel Doctor
Campanelli, Matteo Doctor
Diugan, Raluca Investigador predoctoral
Fábregas Alfaro, Ignacio Doctor
Faonio, Antonio Doctor
Fiore, Dario Doctor
Ganty, Pierre Doctor
García Pérez, Álvaro Doctor
Gorla, Alessandra Doctora
Gotsman, Alexey Doctor
Guarnieri, Marco Doctor
Istvan, Zsolt Doctor
István András, Seres Investigador predoctoral
Meshman, Yuri Doctor
Morales Caballero, José Francisco Doctor
Moreno Sánchez, Pedro Doctor
Nanevski, Aleksandar Doctor
Sánchez Sánchez, César Doctor
Sudhodanan, Avinash Doctor
Tucker, Ida Heather Jane Doctora
Vasilopoulos, Dimitrios Investigador postdoctoral
Vazou, Niki Doctor
María Teresa Giménez Ganga Gestor Programa

GRUPO FADOSS (UCM)

Rubio Diez, Fernando(coordinador del grupo) Doctor
Aguirre García, Luis Manuel Investigador predoctoral
de Frutos Escrig, David Doctor
Gody Fresneda, Aitor Investigador predoctoral
López Fraguas, Francisco Doctor
Martí Oliet, Narciso Doctor
Martín Sánchez, Óscar Investigador predoctoral
Montenegro Montes, Manuel Doctor
Nieva Soto, Susana Doctora
Ortega Mallén, Yolanda Doctora
Palomino Tarjuelo, Miguel Doctor
Peña Marí, Ricardo Doctor
Pita Andreu, María Isabel Doctora
Rabanal Basalo, Pablo M. Doctor
Riesco Rodríguez, Adrián Doctor
Rodríguez Laguna, Ismael Doctor
Rosa Velardo, Fernando Doctor
Sáenz Pérez, Fernando Doctor
Sánchez Hernández, Jaime Doctor
Segura Díaz, Clara María Doctora
Verdejo López, José Alberto Doctor

GRUPO BABEL-CLIP (UPM)

Carro Liñares, Manuel (coordinador del grupo) Doctor
Ballesteros González, Ignacio Investigador predoctoral
Benac Earle, Clara Doctora
Blasco Aguado, Rubén Investigador predoctoral
Bueno Carrillo, Francisco Doctor
Bueso de Barrio, Luis Eduardo Investigador predoctoral
Fredlund, Lars-Åke Doctor
Hermenegildo Salinas, Manuel Doctor
Herranz Nieva, Ángel Doctor
Mariño Carballo, Julio Doctor
Muñoz Hernández, Susana Doctora
Román Díez, Guillermo Doctor
Zanardini, Damiano Doctor