Buscar en la web
Desplegar navegación
Navegar identificado
Instituto Universitario de Lenguas Modernas y Traductores (UCM)
Institutos Universitarios
Desplegar navegación
Instituto Universitario
Organización
Reglamento interno
Historia
Localización y contacto
Entidades colaboradoras
+
Actividad
Cursos Internacionales
Publicaciones
Congresos
Seminarios
Estudios
+
Investigación
Congresos
Memoria
+
Docencia
Máster
Grado
+
Cursos, seminarios, conferencias
Cursos
Seminarios
Conferencias
+
Enlaces
Portada
»
Buscador
Directorio
Albert Rubio Gimeno
Facultad de Informática
Departamento de Sistemas Informáticos y Computación
PDI Funcionario
C/ Profesor José García Santesmases, 9
Ciudad Universitaria
28040 - MADRID
alberu04@ucm.es
91 394 7640
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
