Universidad Complutense de Madrid
Desplegar navegación
Navegar identificado
Buscar en la web
Desplegar navegación
Universidad
Gobierno
Rector
Equipo Rectoral
Consejo de Gobierno
Consejo Social
Claustro
Normativa UCM
Defensoría Universitaria
Inspección de Servicios
Comisión de Reclamaciones
Delegación Central de Estudiantes
BOUC
Centros
Facultades
Departamentos
Institutos Universitarios de Investigación
Escuela de Doctorado
Centros de Enseñanza Universitaria Adscritos
Colegios Mayores
Otros Centros y Estructuras
Instituciones
Universidad para Mayores
Fundación
Cursos de Verano El Escorial
Escuela Complutense
Escuela Complutense Latinoamericana
Centro para la enseñanza del español
Idiomas Complutense
Encuentros Complutense
Escuela de Gobierno
Compluemprende
Servicios
PSICALL
Sostenibilidad
Igualdad
Diversidad e Inclusión
Alquiler de Espacios
Oficina de Información
Deportes
Servicios Informáticos
Cultura
Ediciones Complutense
Voluntariado
Listado completo
Pers. Docente y Pers. Investigador
Profesor/a ayudante doctor/a
Profesor/a permanente laboral
Profesor/a asociado/a
Profesor Asociado de CC Salud
Profesor/a contratado/a doctor/a
Personal Investigador
Funcionarios de Carrera
Profesor/a sustituto/a
PTGAS
Oferta de empleo público
Personal Funcionario
Personal Laboral
Convocatorias
Universidad
Estudiar
Grado
Grado
Admisión
Calendario
Matrícula
Máster
Másteres
Admisión
Plazos
Matrícula
Doctorado
Doctorado
Admisión
Plazos
Matrícula
Becas y prácticas
Becas
Ayudas Matrícula
Socioeconómicas
Formación práctica
Oficina de prácticas y empleo
Becas Santander
Acceso a la Universidad
Pruebas de Acceso
Orientación
EvAU
Otros Estudios
Titulaciones Internacionales
Formación Complementaria
Estudiantes visitantes
Formación de Idiomas
Formación Específica
Universidad Mayores
Estudiantes Internacionales
Formación Permanente
Máster de Formación Permanente
Diploma de Especialización
Experto
Postgrado de Especialización
Diploma de Formación Permanente
Certificado de Formación Permanente
Microcredenciales
Formación PDI
Estudiar
Internacional
UCM Global
Presentación
Noticias
Oficina de Relaciones Internacionales
Plan de Internacionalización
Alianza Una Europa
Real Colegio Complutense de Harvard
Unión Iberoaméricana de Universidades (UIU)
Cooperación al Desarrollo
Convocatorias
Estudiantes
Profesores/as
Personal Técnico y de Gestión (PTGAS)
Convocatorias UCM
Programas UCM
Buscador de Convenios y Programas
Erasmus+
Programas Internacionales
MAUI-Utrecht (USA)
Teaching Assistant
AEN-Utrecht (Australia)
Universidad de California
Movilidad Saliente
Estudiantes
Profesores/as
Personal Técnico y de Gestión (PTGAS)
Prácticas Erasmus+
Movilidad Entrante
Estudiantes
Profesores/as
Personal Técnico y de Gestión (PTGAS)
Prácticas Erasmus+
Internacional
Investigación
Servicios Inv.
Administración de Personal Investigador
Servicio de Investigación
OTRI
Coordinación y apoyo
Oficina Europea
Gestión Económica, Inv. y Centros
Biblioteca
Enlaces Temáticos
Organigrama y estructura
Centros de Asistencia a la Investigación (CAI)
Institutos Universitarios de Investigación
Centro de Vigilancia Sanitaria Veterinaria (VISAVET)
Cultura Científica
HRS4R
Gestiones más frecuentes
Petición de certificados de inv.
Resto de gestiones frecuentes
Otros enlaces
Comisión de Investigación
Memorias de investigación UCM
Portal de Producción Científica
Escuela de doctorado
EURAXESS
Docta Complutense
Investigación
Vida universitaria
Deportes
Competiciones deportivas
Instalaciones Deportivas
Reserva de instalaciones
Tarjeta de deportes
Escuelas Deportivas
Herramientas
UCM en línea
Registro General
Campus Virtual
Buscador
Tarjeta Universitaria
Helpdesk
Calendarios
FAQ
RAPI2
Cultura
Arte
Visitas
Teatro y Literatura
Patrimonio
Música y Danza
Ediciones Complutense
Actividades
Delegación Central de Estudiantes
La casa del estudiante
Asociaciones
Voluntariado
Alojamiento
Encuentros complutense
Tienda Complutense
Eventos
Vida universitaria
Portada
»
Estudios
»
Máster
»
Metodos Formales en Ingeniería Informática de la UCM y la UPM/ Formal Methods in Computer Science
Metodos Formales en Ingeniería Informática de la UCM y la UPM/ Formal Methods in Computer Science
Máster. Curso 2025/2026.
Centro responsable
:
Facultad de Informática
.
Coordinación
:
Albert Rubio Gimeno
.
Acceso y admisión
Créditos y Plazas
Detalles de la titulación
Web del Máster
Enlace externo
Pendiente de autorización de implantación de la Comunidad de Madrid
Número de plazas ofertadas
15
Créditos ECTS
60
