Estudios dirigidos por Albert Rubio Gimeno

• Métodos Formales en Ingeniería Informática (Con UAM y UPM)

  Máster. Curso 2023/2024

• Métodos Formales en Ingeniería Informática (Con UAM y UPM)

  Máster. Curso 2024/2025

• Metodos Formales en Ingeniería Informática (conjunto con UPM)/ Formal Methods in Computer Science

  Máster. Curso 2025/2026

Investigaciones de Albert Rubio Gimeno

Grupos de Investigación

• COMPLUTENSE GROUP ON PROGRAM ANALYIS AND TRANSFORMATION

  Miembro