Buscar en la web
Desplegar navegación
Navegar identificado
Instituto Complutense de Estudios Internacionales
Institutos Universitarios
Desplegar navegación
ICEI
Quiénes somos
Estructura
Equipo
Sede
Reserva de espacios
Blog ICEI+
Alquiler de espacios
+
Investigación
Líneas Temáticas
Investigadores
Grupos
Proyectos
Estancias de investigación
Publicaciones
Publicaciones ICEI
+
Formación
Formación
+
Actividades
Curso 2024-2025
Memoria anual
+
Colaboradores
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
