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

  • Oferta académica
  • 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: 2018-19
  • 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

Máster Inter-Universitario en Métodos Formales en Ingeniería Informática
  • 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

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