Go to main contentGo to main menuFormulario de contactoLa UAM

Escuela Politécnica SuperiorLogo EPS

Print >< Back

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

Degree Descriptions

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

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.

Enrolled Students

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