Proyectos vigentes

  1. Métodos rigurosos para el desarrollo de sistemas software de calidad y fiabilidad certificadas

    NARCISO MARTÍ OLIET, FERNANDO RUBIO DÍEZ

Proyectos finalizados

2022

  1. Contratos Inteligentes y Blockchains Escalables y Seguros mediante Verificación y Análisis

    FERNANDO RUBIO DÍEZ

  2. Contratos Inteligentes y Blockchains Escalables y Seguros mediante Verificación y Análisis.

    FERNANDO RUBIO DÍEZ

2018

  1. Next-GeneRation Energy-EfficieNt Secure Software.

    FRANCISCO JAVIER LÓPEZ FRAGUAS

  2. ¿NOS DIRIGIMOS HACIA UNA SOCIEDAD DESINTERMEDIADA? UN ESTUDIO DE LA PARTICIPACIÓN SOCIAL MEDIANTE ANALISIS DE REDES, BIG DATA Y APRENDIZAJE AUTOMÁTICO.

    ADRIÁN RIESCO RODRÍGUEZ

2016

  1. VALIDACIÓN ASISTIDA DE PROGRAMAS MEDIANTE ANÁLISIS, ANOTACIONES, DEMOSTRACIONES MATEMÁTICAS Y PRUEBAS DE EJECUCIÓN

    RICARDO VICENTE PEÑA MARÍ

2014

  1. PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFWTARE DE LA COMUNIDAD DE MADRID

    NARCISO MARTÍ OLIET

2011

  1. SOFTWARE TOOLS AND MULTIPARADIGM PROGRAMMING.

    FRANCISCO JAVIER LÓPEZ FRAGUAS