Acceder al contenido principalAcceder al menú principalFormulario de contactoLa UAM

Escuela Politécnica SuperiorLogo EPS

Imprimir >< Atrás

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

Descripción del Título

  • Centro responsable: Escuela Politécnica Superior, Dpto. Ingeniería Informática
  • Centros de impartición: Universidad Autónoma de Madrid, Universidad Complutense de Madrid y Universidad Politécnica de Madrid
  • Implantado desde: 2019-20
  • Tipo de enseñanza: Presencial
  • Créditos 60 ECTS
  • Mínimo ECTS según matrícula y curso para estudiantes: 18 ECTS/estudiantes a tiempo parcial; 36 ECTS/estudiantes a tiempo completo
  • Idiomas de impartición: 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.

Estudiantes Matriculados

  • Horarios y Aulas
  • Guías DocentesEnlace externo. Abre en una ventana nueva.
  • También te puede interesar:

    2021/22: En el primer cuatrimestre, las asignaturas DABI, MDE, AA y PROSEC se imparten en la UAM (EPS) los miércoles y jueves en los laboratorios 9 y 10, el resto en la UCM.

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

Futuros estudiantes

Seguimiento y calidad del título

    Otra información de interés

    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