Buscar en la web
Desplegar navegación
Navegar identificado
Estudios Avanzados en Trabajo y Empleo
Másteres oficiales
Desplegar navegación
Presentación
Estructura y plan de estudios
Destinatarios y salidas
Competencias
Localización y contacto
+
Admisión y matrícula
Criterios de admisión
Preinscripción y matrícula
Precios y becas
+
Profesorado
Personal docente
International Advisory Board
Grupos de investigación
+
Docencia
Fichas y programas
Calendario académico
Horarios
Tutorías
Materiales de adaptación
+
Prácticas externas
Trabajo de Fin de Máster
Orientaciones generales
Calendario TFM
Premios TFM
Normativa TFM
Tribunal de reclamaciones TFM
+
Recursos y servicios
Evaluación y calidad del título
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
