Máster en Métodos Formales en Ingeniería Informática: Universidad Complutense de Madrid (UCM)

El Máster Universitario en Métodos Formales en Ingeniería Informática (Formal Methods in Computer Science) es un título oficial de 60 créditos ECTS, inscrito en el Registro de Universidades, Centros y Títulos (RUCT) con el código 3500418. Es interuniversitario: la Universidad Complutense de Madrid (UCM) es la universidad responsable y participa la Universidad Politécnica de Madrid. Es presencial, de orientación académica, dura un curso en dos semestres y se imparte íntegramente en inglés.

Dónde se imparte: Facultad de Informática, Madrid

El centro responsable del máster es la Facultad de Informática de la UCM, en Madrid. Puedes consultar la web de la universidad en www.ucm.es y la ficha del máster en www.ucm.es/estudios/master-metodosformaleseningenieriainformatica-plazas.

Qué se estudia: verificación formal y construcción rigurosa de software

Los métodos formales se caracterizan por la modelización matemática del software y de los procesos que realiza, para demostrar que cumple los requisitos. El máster forma profesionales para el diseño fiable de sistemas que no toleran errores, su despliegue correcto y la auditoría de sistemas de terceros, y futuros investigadores en el área.

El plan suma 60 créditos ECTS: 12 obligatorios, 36 optativos y 12 del trabajo fin de máster. Las dos asignaturas obligatorias, de 6 créditos y del primer semestre, son:

• Análisis estático de programas y resolución de restricciones.
• Teoría de lenguajes de programación.

El módulo optativo de métodos formales complementarios ofrece nueve asignaturas de 6 créditos y hay que cursar seis. En el primer semestre: Diseño de algoritmos bioinspirados, Métodos formales de testing, Modelos de la concurrencia y Protocolos criptográficos y sus aplicaciones. En el segundo: Análisis de sistemas concurrentes y distribuidos, Computación cuántica, Diseño de sistemas correctos por construcción y Verificación asistida de programas. Además, Prácticas en empresas o grupos de investigación, en cualquiera de los dos semestres. El trabajo fin de máster, de 12 créditos, es del segundo semestre.

La UCM subraya que no basta con aprender técnicas: la meta es aplicarlas a problemas reales de gran complejidad que requieren garantías absolutas de corrección.

Perfil de acceso y admisión

El máster está dirigido principalmente a graduados en Ingeniería Informática, Ingeniería del Software e Ingeniería de Computadores o similares, y a dobles grados de estos con el grado en Matemáticas, y también a graduados en Matemáticas con especialización en informática o formación sólida en computación. Quienes lo cursen deben tener gran interés por las matemáticas y, en particular, por la lógica y el álgebra.

Como el máster se imparte íntegramente en inglés, para cursarlo es obligatorio tener un nivel de inglés equivalente como mínimo a un certificado B2. La solicitud se hace desde la aplicación de admisión de la UCM.

Duración y modalidad

El máster dura un curso en dos semestres, tiene 60 créditos, es presencial y se imparte íntegramente en inglés.

Salidas profesionales

La UCM afirma que la demanda del perfil ha crecido con las empresas de base tecnológica, las grandes empresas de software, las tecnologías blockchain, los sistemas autónomos y la defensa, y cita la carrera investigadora en departamentos universitarios y centros de investigación.

Por qué estudiar métodos formales en Madrid

Lo distintivo es su especialización en métodos formales, con optativas de concurrencia, criptografía, computación cuántica y verificación de programas, todo en inglés. Hay que tener en cuenta que se exige un B2 de inglés y un fuerte interés por la lógica y el álgebra.

Preguntas frecuentes

¿En qué idioma se imparte?

Íntegramente en inglés, con un nivel mínimo B2 obligatorio.

¿Cuántas optativas hay que cursar?

Seis de nueve, de 6 créditos cada una.

¿Hay prácticas?

Hay una optativa de prácticas en empresas o grupos de investigación.

¿Qué titulaciones encajan?

Según la UCM, Ingeniería Informática, del Software y de Computadores, Matemáticas y los dobles grados con Matemáticas.