Campo de estudio:  Ingeniería Informática y de Sistemas.

Centro responsable: Universidad Complutense de Madrid (UCM)

Facultad de Informática

Conjunto: U. Politécnica de Madrid (UPM)

Campus: Moncloa

Orientación: Académica.

Créditos: 60 ECTS. Duración: 1 curso (2 semestres) 

Modalidad: Presencial

Idioma: Inglés

Coordinación: Albert Rubio Gimeno.

Díptico

Plan de Estudios - Guía Docente - Horarios
Admisión - Secretaría de Estudiantes

Web del máster

¿Cuál es el perfil de acceso recomendado?
El Máster está dirigido principalmente a personas graduadas en Ingeniería Informática, Ingeniería del Software, Ingeniería de Computadores (o similar) y dobles grados de estos con el Grado en Matemáticas. En cualquier caso, el estudiantado que opte por este Máster deberá tener gran interés por las matemáticas y en particular por la lógica y el álgebra. Por esta razón, el Máster también se dirige a graduados en Matemáticas con especialización en informática o con una formación sólida principalmente en el área de la computación.

¿En qué idioma se imparte el curso?
El Máster se imparte íntegramente en inglés, y se considerará como requisito imprescindible previo para la admisión al máster tener un nivel mínimo inglés. Este requisito no será necesario para personas procedentes de países donde el inglés sea lengua oficial; en otro caso se deberá acreditar un nivel B2 de inglés con un certificado expedido por centros oficiales.

¿Y cuál es el objetivo?
El objetivo es formar profesionales altamente cualificados que puedan enfrentarse con éxito al diseño fiable de sistemas que no toleren errores, a su correcto despliegue, y a la evaluación o auditoría de sistemas de terceros. Así mismo, también persigue proporcionar una formación sólida para futuros investigadores en el área de los métodos formales o con una formación sólida principalmente en el área de la computación.

¿Y el trabajo?
La demanda de expertos en métodos formales ha crecido con el auge de empresas tecnológicas (como Microsoft, Google o firmas de blockchain) que necesitan sistemas fiables y seguros ante ataques. La falta de profesionales capacitados para resolver estos problemas complejos con garantías absolutas de corrección genera grandes oportunidades de futuro para los egresados del Máster.