Ir al contenido

Inicio
ETSIINF en Twitter ETSIINF en Facebook
Inicio > Estudios > Másteres oficiales > Métodos Formales en Ingeniería Informática

Máster Interuniversitario en

Métodos Formales en Ingeniería Informática

Por la UCM, la UPM y la UAM

Band

 

Motivación

Algunas fechas importantes para el curso 2023-2024

  • Preinscripción 2023-2024:
  • Publicación de listas admitidos 2019: aún no determinadas.
  • Principio de clases:
    • Primer semestre: aún no determinado.
    • Segundo semestre: aún no determinado.
    • Consulta las páginas del máster en las otras universidades colaboradoras para obtener información actualizada sobre sus fechas de comienzo.

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.

Inscribete
 
Los sistemas informáticos actuales son omnipresentes y necesarios. Desde conducir un coche hasta hacer la compra de un libro o una llamada telefónica, casi todos nuestros actos cotidianos necesitan la intermediación del software --- por tanto dependemos de él y de su buen funcionamiento.  Por desgracia, con frecuencia se producen errores que afectan este buen funcionamiento.
La mayor parte de los errores graves en los sistemas informáticos actuales están causados por una formalización pobre de los requisitos o su diseño, o en la ausencia de una verificación rigurosa de su implementación.  Este Máster se centra en mostrar técnicas para evitar esos errores y realizar sistemas y programas más limpios, resistentes, comprensibles y mantenibles.
Este Máster se dirige a informáticos con vocación por el rigor y la fiabilidad de los sistemas informáticos.  El objetivo de esta titulación es formar profesionales que sean capaces de abordar problemas informáticos complejos como establecer la corrección del código, usando herramientas matemáticas rigurosas.  Estos profesionales podrán enfrentarse con éxito al diseño de software fiable, a su correcto despliegue y a la evaluación y verificación de software de terceros.  Este Máster también se propone formar futuros investigadores en el área de los métodos formales.
Su carácter Interuniversitario (UCM, UPM, UAM) permite la participación de profesores reconocidos pertenecientes a las tres Universidades, además de un intercambio de conocimientos entre los alumnos. 
 
En este vídeo (en español) puedes ver una presentación del máster.

 

 

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.

Compañías futuro

 

Beneficios

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.

 

 

Asignaturas

 

Primer semestre (septiembre-enero)

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.

 

Segundo semestre (febrero-mayo)

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.

 

 

 

 

 

Estancias en empresas e instituciones de investigación

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.

Planificación

La docencia del máster se realiza en tres campus de las universidades participantes: Moncloa (UCM) y Montegancedo (UPM) conforme al siguiente esquema:

  LunesMartesMiércolesJuevesViernes
Semestre 1 (otoño) UCM UCM UCM UPM UCM
Semestre 2 (primavera) UCM UPM UPM UCM  

 

El primer semestre en la UPM empezará el día 11 de Septiembre de 2023. El segundo semestre empezará el 30 de enero de 2024.

El calendario global de la UPM para el curso 2023-2024 está disponible aquí.

 

Información sobre asignaturas impartidas en la UPM

Design And Analysis Of Security Protocols

 Correctness by Construction

Static Analysis of Concurrent and Distributed Systems

 

 

Profesorado

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.

Información adicional

Pasos para formalizar la matriculación en la UPM

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.

  1. Realiza la preinscripción, para lo que es necesario proporcionar, escaneados:
  2. Esta documentación es examinada para comprobar que se cumplen los requisitos de longitud de los estudios, existencia de un título de grado, y comprobación de que los estudios proporcionan una base suficiente para continuar con el máster elegido.
  3. Publicación de listas de admitidos.  Las listas se actualizan periódicamente según se evalúan las solicitudes.
  4. En caso de estar admitido, recibirás por correo electrónico una carta de aceptación en el máster y tendrás una cuenta de alumno en la UPM.
  5. Si necesitas un visado porque vienes desde un país extranjero, necesitarás esa carta en el consulado español que te corresponda.
  6. Tras la admisión es necesario realizar la formalización de la matrícula, en la que se eligen las asignaturas que se quieren cursar.  Se puede hacer personalmente en la Escuela Técnica Superior de Ingenieros Informáticos (ETSIINF) o mediante la web.
  7. Solicitar personalmente en la ETSIINF la generación de una carta de pago para ingresar el coste de la matrícula. Tras ello, entrega el justificante del abono junto con los originales de los documentos que se hayan entregado a través de web en el primer paso de esta lista.

Contacto e información

Información en las demás universidades participantes y otra documentación relevante

 

 

Band