Current projects

  1. Generación de código seguro eficiente e interoperable mediante métodos formales e inteligencia artificial

    Rubén Rubio

Completed projects

2025

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

    NARCISO MARTÍ OLIETFERNANDO RUBIO DÍEZ

2023

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

    FERNANDO RUBIO DÍEZ

2021

  1. CAVI-ART-2: Validación asistida de programas mediante análisis anotaciones demostraciones matemáticas y pruebas de ejecución

    FRANCISCO JAVIER LÓPEZ FRAGUASRICARDO VICENTE PEÑA MARÍ

2019

  1. ¿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

2018

  1. Next-GeneRation Energy-EfficieNt Secure Software.

    FRANCISCO JAVIER LÓPEZ FRAGUAS

2017

  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

2012

  1. SOFTWARE TOOLS AND MULTIPARADIGM PROGRAMMING.

    FRANCISCO JAVIER LÓPEZ FRAGUAS