Go to main contentGo to main menuFormulario de contactoLa UAM

Escuela Politécnica SuperiorLogo EPS

Print >< Back

Master's Degree in Formal Methods and Computer Engineering

Degree Descriptions

  • Centre responsible for: Escuela Politécnica Superior, Dpto. Ingeniería Informática
  • Centers of instruction: Universidad Autónoma de Madrid, Universidad Complutense de Madrid y Universidad Politécnica de Madrid
  • Implemented from: 2019-20
  • Type of teaching: Presencial
  • Credits 60 ECTS
  • Minimum Number of ECTS according to the enrollment and the course for students: 18 ECTS/estudiantes a tiempo parcial; 36 ECTS/estudiantes a tiempo completo
  • Instruction Language: Inglés. Pueden impartirse asignaturas optativas en castellano.
  • Número de plazas ofertadas: 45 (15 en cada Universidad)

Datos de contacto

Coordinador: Juan de Lara Jaramillo

Correo electrónico: coordinador.master.MetodosFormales@uam.es

 

Máster Inter-Universitario en Métodos Formales en Ingeniería Informática

Todos los Másteres vinculados a la Escuela Politécnica Superior podrán impartirse con el 100% de presencialidad durante el curso 2021/2022 incluso en escenarios de riesgo medio o alto. Se utilizará la misma configuración que durante el curso 2020/2021 que fue presencial 100%. 

Plan de actuación para el curso 2021/2022 y planes de contingencia de los centros propios y adscritos para la adaptación de la docencia oficial de grado y máster en el primer semestre (aprobado en CdG de 18 de junio de 2021)

  • 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.

Enrolled Students

  • Horarios y Aulas
  • Guías DocentesEnlace externo. Abre en una ventana nueva.
  • You may also be interested in:

    Curso 2021/22: En el primer cuatrimestre, las asignaturas AA/ML (Aprendizaje Automático), DABI (Diseño de Algoritmos Bioinspirados), DDM/MDE (Desarrollo de software dirigido por modelos), y DAPS (Diseño y análisis de protocolos de seguridad) se imparten en la UAM (EPS) los miércoles y jueves en los laboratorios 9 (AA/ML, DDM/MDE) y (DABI, DAPS), el resto en la UCM.

    El comienzo de curso es la semana del 6 de Septiembre para las asignaturas en UAM, y la semana del 20 de Septiembre para las asignaturas en UCM.

    Actualización: El comienzo de curso es la semana del 13 de Septiembre para las asignaturas en UAM, y la semana del 20 de Septiembre para las asignaturas en UCM.

    La docencia es presencial, no habiendo por el momento ninguna modificación respecto a las guías docentes.

Prospective Students

Degree Monitoring and Quality

    Other interesting information

    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