Logo EPS

Motivación: El desarrollo de software se enfrenta actualmente a grandes desafíos derivados de la omnipresencia del mismo en la sociedad actual. Dependemos de programas que controlan dispositivos, vehículos, transacciones bancarias, el mercado de valores, aparatos médicos, y muchas otras actividades cotidianas.

Los métodos tradicionales de desarrollo no pueden asegurar la corrección del software, lo que es de vital importancia si este software es crítico (su fallo implica pérdidas de vidas humanas), o de amplio uso (como las plataformas cloud). De esta manera los métodos formales se caracterizan por el uso de técnicas matemáticas que garantizan que el software cumple unos requisitos dados. Grandes empresas, como Facebook, Amazon, Microsoft o Google emplean de manera creciente los métodos formales en su modelo de desarrollo para conseguir una mayor fiabilidad en sus productos.

Objetivos y Competencias: El máster proporcionará al estudiante una formación integral en distintos tipos de métodos formales, lo que conferirá una especial capacidad para aplicar métodos matemáticos a la resolución rigurosa de problemas informáticos. El máster tiene una orientación tanto profesional, como investigadora.

Es un máster inter-universitario, que se imparte por los mejores especialistas del área, de las Universidades Autónoma, Complutense y Politécnica. Consta de 60 créditos ECTS y ofrece al estudiante una amplia optatividad, pues estos han de elegir 30 créditos optativos entre una oferta de 60. El máster es una via de acceso directa a los programas de doctorado de cada una de las universidades involucradas.

El máster se impartirá preferentemente en inglés. Cuando se use el castellano, será siempre en asignaturas optativas. Por tanto, el máster se oferta también a estudiantes extranjeros que se desenvuelvan con solvencia en inglés.