Máster en Métodos Formales en Ingeniería Informática
Este máster es completamente presencial.
Primer semestre: 18 de septiembre al 15 de diciembre de 2023 en las asignaturas impartidas en la UCM y del 11 de septiembre del 2023 al 11 de enero del 2024 en las asignaturas impartidas en la UPM.
Segundo semestre: 22 de enero al 12 de abril de 2024 en las asignaturas impartidas en la UCM y del 30 de enero .al 24 de mayo en las asignaturas impartidas en la UPM.
Descripción del título
La creación del software se enfrenta actualmente a grandes desafíos derivados del papel omnipresente del mismo en la sociedad actual: dependemos de programas que controlan dispositivos, vehículos, transacciones bancarias, el mercado de valores, aparatos médicos, etc. Aparte de los casos de pérdida de vidas humanas por fallos en el software, estos causan con frecuencia enormes trastornos en las vidas de millones de personas. Hoy por hoy, el único método conocido para asegurar la corrección del software pasa por utilizar los llamados métodos formales, que se caracterizan a grandes rasgos por la modelización matemática del software, y de los procesos que este realiza, para conseguir demostrar que se cumplen los requisitos deseados.
Esta dependencia de la sociedad actual del software y la complejidad del mismo han hecho que este enfoque está recibiendo atención renovada en los últimos tiempos. Por ejemplo, Amazon usa bases distribuidas por todo el planeta que realizan millones de transacciones por segundo que deben ser coherentes, para lo cual se emplean algoritmos distribuidos extremadamente complejos. Los métodos tradicionales de desarrollo y testing no son capaces de encontrar errores sutiles en ellos, que causarían la pérdida de datos y el consiguiente perjuicio económico. Estos errores solo se manifiestan en una pequeña fracción de los posibles estados. Pero, dada la magnitud del software, sucederían con preocupante frecuencia de no encontrarse y resolverse, lo cual Amazon hizo mediante el uso de técnicas de verificación formal. Otro ejemplo revelador es el desarrollo del software de control de la línea 14 de metro de Paris, realizada íntegramente mediante métodos formales. Tras la generación del código, las pruebas durante la simulación y las realizadas en el entorno real no revelaron ningún error en las más de 80.000 líneasde código generadas automáticamente.
Por todo ello, también el entorno académico está ofreciendo másteres similares a este: Existen en las universidades de Oxford, en la École Polytehcnique Fedérale de Lausanne, en el University College of London, o el Master Interuniversitario Parisino en Investigación en Informática.
La formación adquirida en este máster conferirá una especial capacidad para aplicar métodos matemáticos a la resolución rigurosa de problemas informáticos. Consta de 60 créditos y ofrece al estudiante una amplia optatividad, pues estos han de elegir 30 créditos entre una oferta de 60. El Máster en Métodos Formales en Ingeniería Informática está encuadrado en el programa de posgrado de la Facultad de Informática, cuyo doctorado tiene concedida la Mención de calidad
por la Agencia Nacional de Evaluación de la Calidad y Acreditación desde el año 2004, y la Mención hacia la Excelencia
desde 2011. Estas menciones de calidad constituyen el máximo reconocimiento existente en España a la solvencia científico-técnica y formadora del programa de doctorado en su conjunto.
Perfil de acceso recomendado/Recommended background knowledge
El máster está dirigido principalmente a graduados 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, los estudiantes que opten por este máster deberán 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.
The master is targeted to students with a degree in Computer Science, Computer Engineering, Software Engineering (or similar) as well as double degrees of such studies with Mathematics. In any case, the students that apply for this master should have a high interest in mathematics and, in particular, in logic and algebra. Due to this, the master is also targeted to students with a degree in Mathematics with a specialization in computer science or with a solid background mainly in the area of computing.
Idioma de impartición
El máster se impartirá en inglés. Por tanto, el máster se oferta también a estudiantes extranjeros que se desenvuelvan con solvencia en inglés.
Contacto
Para información y orientación administrativa a estudiantes contactad con la Secretaría de Alumnos. Para información y orientación académica contactad con el coordinador del máster (Albert Rubio).
Visita nuestra página de información general de futuros estudiantes para saber más acerca de las ventajas de estudiar un máster aquí.
Planificación docente
A continuación se encuentra disponible la planificación docente del programa de máster. Es un máster presencial (no a distancia). Las clases se desarrollan entre los meses de octubre y junio.