Resolución de 24 de Noviembre de 2025, de la Universidad Complutense de Madrid, por la Que Se Publica el Plan de Estudios de Máster Universitario en Métodos Formales en Ingeniería Informática/formal Methods In Computer Science.

Resolución de 24 de noviembre de 2025, de la Universidad Complutense de Madrid

Publica el plan de estudios del Máster Universitario en Métodos Formales en Ingeniería Informática/Formal Methods in Computer Science, aprobado tras su verificación por el Consejo de Universidades y la Comunidad Autónoma de Madrid, y con carácter oficial por acuerdo del Consejo de Ministros de octubre de 2025.

Este título, dirigido a profesionales y estudiantes en ingeniería informática y sistemas, tiene como objetivo formar en metodologías formales para el diseño, análisis y construcción rigurosa de sistemas informáticos. Afecta a las universidades públicas de Madrid, en particular a la Universidad Complutense y la Universidad Politécnica de Madrid, y establece un plan de estudios de 60 créditos ECTS, distribuidos en materias obligatorias, optativas, prácticas externas y trabajo de fin de máster.

El plan incluye asignaturas clave como Métodos Formales Fundamentales, Análisis de la corrección de sistemas, Diseño riguroso y Técnicas especializadas, además de prácticas en empresas o grupos de investigación. Los estudiantes podrán seleccionar 36 créditos optativos de un conjunto de materias especializadas, complementando su formación.

La entrada en vigor de esta resolución es inmediata tras su publicación en el BOE el 10 de diciembre de 2025, afectando a la planificación académica y a la oferta formativa de las instituciones implicadas.