Resolución de 8 de junio de 2020, de la Universidad Complutense de Madrid, por la que se publica el plan de estudios de Máster en Métodos Formales en Ingeniería Informática/Formal Methods in Computer Science (Máster conjunto de las universidades Autónoma de Madrid, Complutense de Madrid y Politécnica de Madrid).

Obtenida la verificación del Plan de Estudios por el Consejo de Universidades, previo informe favorable de la Fundación para el Conocimiento Madri+d, así como la autorización de la Comunidad Autónoma de Madrid, y acordado el carácter oficial del título por Acuerdo del Consejo de Ministros de 5 de octubre de 2018 (publicado en el BOE del 21 de diciembre de 2018),

Este Rectorado, de conformidad con lo dispuesto en el artículo 35 de la Ley Orgánica 6/2001 de Universidades, en la redacción dada por la Ley Orgánica 4/2007, ha resuelto publicar el plan de estudios conducente a la obtención del título de Máster Universitario en Métodos Formales en Ingeniería Informática / Formal Methods in Computer Science.

Madrid, 8 de junio de 2020.–El Rector, Joaquín Goyache Goñi.

ANEXO

Plan de Estudios del título de Máster Universitario en Métodos Formales en Ingeniería Informática/Formal Methods in Computer Science (Conjunto con la Universidad Autónoma de Madrid y con la Universidad Politécnica de Madrid)

Rama de Conocimiento: Ingeniería y Arquitectura

Tabla 1. Distribución del Plan de Estudios en créditos ECTS

Tipo de materia | Créditos ECTS Obligatorias. | 18 Optativas. | 30 Trabajo de Fin de Máster. | 12 Créditos Totales. | 60

Tabla 2. Esquema del Plan de Estudios

Materia | Créditos ECTS | Carácter Métodos formales fundamentales. | 18 | Obligatoria. Análisis de la corrección de los sistemas. | 18* | Optativa. Diseño y construcción rigurosa de sistemas. | 18* | Optativa. Técnicas matemáticas especializadas. | 18* | Optativa. Prácticas en empresas o grupos de investigación. | 6* | Optativa. Trabajo Fin de Máster. | 12 | TFM.

* Créditos optativos que componen la materia. Se ofertan 60 créditos optativos, de los cuales cada alumno habrá de escoger 30.