Consulta el calendario oficial de la Universidad para obtener más información (fechas de entrega de documentación, fechas de ampliación de matrícula, etc) más actualizada.
Si provienes de un país externo a la UE, recomendamos encarecidamente hacer la preinscripción lo antes posible para tener tiempo a realizar los trámites de obtención de visado.
Características
|
Dirigido a...Si eres un graduado en Ingeniería Informática o en Matemáticas e Informática (bien de doble grado o de grado conjunto) y te ha atraído la programación y tienes pasión por asegurar que tu código funcione siempre sin fallos y por descubrir el algoritmo que resuelve ese problema de la manera más segura y óptima, entonces este puede ser tu máster. Buscamos estudiantes con vocación por la fiabilidad y que no rehuyan una formalización de los problemas y las herramientas. Aparte de los mencionados arriba, también pueden acceder al máster titulados en disciplinas afines (matemáticas, telecomunicaciones...) quizá cursando complementos formativos para asegurar una base inicial que les permita seguir los estudios. |
El uso de métodos formales se ha incrementado notablemente en los últimos años, de la mano de la creciente complejidad de los sistemas informáticos. Las grandes empresas de internet, los proveedores de redes sociales, los distribuidores de contenidos, los fabricantes de sistemas empotrados, las empresas de votación electrónica, entre otras muchas, necesitan código cuya corrección esté garantizada.
Por ello, tanto estas empresas como los fabricantes de software están poniendo un interés creciente en profesionales con conocimiento de métodos formales en todas sus variantes. De manera similar, los centros de investigación y las universidades están ofreciendo de manera cada vez más generalizada la oportunidad de seguir una carrera investigadora centrada en el avance y la aplicación de los métodos formales.
Asignatura | Tipo | ECTS | Universidad | Descripción |
Análisis estático de programas y resolución de restricciones | Obligatoria | 6 | UCM | El análisis estático de programas determina, sin necesidad de ejecutar un programa, qué propiedades tiene. Ayuda a asegurar que los programas hacen lo que se espera de ellos y a optimizarlos automáticamente. |
Modelos de la concurrencia | Obligatoria | 6 | UCM | En la mayor parte de las aplicaciones actuales hay interacciones entre hilos de ejecución. Entender estos modelos de interacción ayuda a diseñar arquitecturas correctas desde el principio. |
Teoría de lenguajes de programación | Obligatoria | 6 | UCM | Los lenguajes de programación actuales tienen en común más de lo que parece. Comprender sus bases permite distinguir qué características son diferenciadoras y cuáles son accesorias. |
Diseño de algoritmos bioinspirados | Optativa | 6 | UCM | Las soluciones encontradas por la naturaleza a determinados problemas pueden adoptarse y reproducirse en software para resolver problemas similares de forma eficiente. |
Diseño y Análisis de Protocolos Criptográficos |
Optativa | 6 | UPM | La criptografía es una de las técnicas esenciales para asegurar la confidencialidad de la información y otros objetivos, como asegurar la integridad de las computaciones en entornos no confiables y la inmutabilidad de sistemas blockchain. |
Métodos formales de testing | Optativa | 6 | UCM | Las pruebas con casos (testing) son la forma más extendida de determinar si un programa se comporta como se espera. El testing no da una certeza absoluta, pero su fiabilidad incrementarse notablemente si se complementa con un enfoque formal. |
Asignatura | Tipo | ECTS | Universidad | Descripción |
Análisis de sistemas concurrentes y distribuidos | Optativa | 6 | UPM | La descomposición en varios hilos de ejecución es una ubicua las aplicaciones de hoy en día Su análisis tiene muchas características propias que hacen que deben estudiarse específicamente. |
Diseño de sistemas correctos por construcción | Optativa | 6 | UPM | El software puede construirse dividiéndolo en varias etapas bien definidas y probar que cada estado respeta las propiedades desadas y no viola las ya probadas para terminar con un sistema complejo que es correcto porque cada paso de su construcción lo es. |
Computación cuántica | Optativa | 6 | UCM | El incremento de la potencia de cálculo que traería la computación cuántica abre la posibilidad de resolver problemas inabordables hoy en día. Esta asignatura mostrará las bases y las aplicaciones de la computación cuántica. |
Verificación asistida de programas | Optativa | 6 | UCM | Verificar que un programa se comporta como se espera con involucra pruebas matemáticas a veces complejas y usualmente, tediosas Usar herramientas automatizadas incrementa la productividad del ingeniero de software y la confianza en las pruebas. |
Prácticas en empresas o grupos de investigación | Optativa | 6 | Todas | Pueden reconocerse estancias en empresas e instituciones de investigación con créditos lectivos Estas estancias son enriquecedoras y permiten aplicar y ampliar las técnicas aprendidas en las asignaturas. |
Trabajo de fin de máster | Obligatorio | 12 | Todas | El TFM puede ser dirigido por profesores del máster de cualquiera de las universidades participantes, independientemente de dónde se haya matriculado el alumno. |
El máster contempla la posibilidad de realizar hasta 6 ECTS como estancias en empresas de base tecnológica e instituciones de investigación. En particular, el Instituto IMDEA Software es una de las Instituciones de la comunidad de Madrid que realiza investigación en temas cercanos a la temática del Máster y en la que se podrían realizar internships.
La docencia del máster se realiza en tres campus de las universidades participantes: Moncloa (UCM) y Montegancedo (UPM) conforme al siguiente esquema:
Lunes | Martes | Miércoles | Jueves | Viernes | |
---|---|---|---|---|---|
Semestre 1 (otoño) | UCM | UCM | UCM | UPM | UCM |
Semestre 2 (primavera) | UCM | UPM | UPM | UCM |
Todo el profesorado participante en el máster tiene actividad investigadora ininterrumpida en los últimos años y participa en o lidera proyectos de investigación.
La lista que sigue es un resumen de los pasos necesarios para realizar la matrícula de Máster en la UPM. Consulta la web de la UPM para tener una información más completa - las necesidades son diferentes dependiendo de tu origen. Toda la documentación debe estar en español o en inglés, bien porque sea así originalmente o mediante una traducción jurada.