El desarrollo de software se enfrenta actualmente a grandes desafíos derivados de su omnipresencia en la sociedad. Dependemos de programas que controlan dispositivos, vehículos, transacciones bancarias, aparatos médicos, y muchas de nuestras actividades cotidianas.
Los métodos tradicionales de desarrollo no pueden asegurar la corrección del software, lo que es de vital importancia si éste es crítico (su fallo implica pérdidas de vidas humanas) o de amplio uso. 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 apuestan por los métodos formales para mejorar la fiabilidad de sus productos.
Este Máster proporciona una formación integral en distintos tipos de métodos formales, lo que confiere la capacidad de 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 interuniversitario, impartido por los mejores especialistas de la Universidad Autónoma de Madrid, la Universidad Complutense de Madrid y la Universidad Politécnica de Madrid. Consta de 60 ECTS, con una amplia optatividad (se deben elegir 30 créditos optativos). El idioma de impartición preferente es el inglés y es vía de acceso a los programas de doctorado de las universidades involucradas.
Podrán acceder los graduados en Ingeniería Informática, en Ingeniería del Software, en Ingeniería de Computadores, en Tecnologías de la Información y en Sistemas de Información, junto a los ingenieros en informática de planes de estudio anteriores, o titulaciones equivalentes, y las dobles titulaciones de estos grados con el Grado de Matemáticas. También podrán acceder, con complementos formativos, titulados en Ingeniería Técnica en Informática de Gestión o de Sistemas, o titulaciones científicas o tecnológicas.
Además, ya que el idioma preferente de impartición es el inglés, se exige un conocimiento de inglés a nivel del certificado B2 para cursar el Máster.
Perfil recomendado
Para consultar la información, siga este enlace.
Si tienes dudas sobre la titulación, puedes contactar con el Coordinador/a de la titulación en la siguiente dirección: coordinador.master.MetodosFormales@uam.es (Juan de Lara Jaramillo). Para dudas sobre el acceso y admisión a la titulación puedes contactar con la Administración de la Escuela Politécnica Superior: administracion.eps@uam.es
Universidad Coordinadora: Universidad Complutense de Madrid https://www.ucm.es/estudios/master-mfingenieriainf
Escuela Politécnica Superior | Universidad Autónoma de Madrid | Francisco Tomás y Valiente, 11 | 28049 Madrid | Tel.: +34 91 497 2222 | e-mail: informacion.eps@uam.es
