Página 1 del anuncio BOCM
B.O.C.M. Núm. 289

BOLETÍN OFICIAL DE LA COMUNIDAD DE MADRID
JUEVES 4 DE DICIEMBRE DE 2025

Pág. 95

I. COMUNIDAD DE MADRID

C) Otras Disposiciones
Universidad Complutense de Madrid
25

RESOLUCIÓN de 24 de noviembre de 2025, de la Universidad Complutense de
Madrid, por la que se publica el Plan de Estudios del Máster Universitario en
Métodos Formales en Ingeniería Informática/Formal Methods in Computer
Science por la Universidad Complutense de Madrid y la Universidad Politécnica de Madrid.

BOCM-20251204-25

Obtenida la verificación del Plan de Estudios por el Consejo de Universidades, previo
informe favorable de la Agencia Evaluadora Fundación para el Conocimiento Madri+d, de
fecha 18 diciembre de 2024, con autorización de la Comunidad de Madrid y acordado el carácter oficial del título por el Consejo de Ministros de 7 de octubre del 2025 (publicado en el
“Boletín Oficial del Estado” de 13 de octubre de 2025); de acuerdo con lo dispuesto en el artículo 26, del Real Decreto 822/2021, del 28 de septiembre, en el que se establece el procedimiento de verificación de Planes de Estudios de las enseñanzas oficiales; este Rectorado,
de conformidad con lo dispuesto en el artículo 8.3 de la Ley Orgánica 2/2023, de 22 de marzo, del Sistema Universitario, ha resuelto publicar el Plan de Estudios conducente a la obtención del título oficial del Máster Universitario en Métodos Formales en Ingeniería Informática/Formal Methods in Computer Science por la Universidad Complutense de Madrid
y la Universidad Politécnica de Madrid, que queda estructurado conforme figura en el
Anexo de la misma.
Madrid, a 24 de noviembre de 2025.—El Rector, Joaquín Goyache Goñi.