El máster busca abordar los retos actuales en el desarrollo de software, especialmente en sistemas críticos que requieren alta fiabilidad, seguridad y eficiencia. Se centra en métodos formales basados en modelización matemática para garantizar la corrección y eficiencia de los sistemas informáticos. Además, pretende formar profesionales altamente cualificados en este ámbito, evitando la fuga de talento local y atrayendo estudiantes destacados. El máster se impartirá en inglés y está orientado a estudiantes interesados en doctorados o carreras en empresas tecnológicas.