Universidad
Politécnica de Madrid

The skills acquired during this master’s programme will enable students to apply mathematical methods to the rigorous solution of computing problems. The aim is to train highly qualified professionals to successfully manage the reliable design and deployment of zero-fault systems, their correct implementation, and system assessments or audits to software systems developed by third-parties. The master is also intended to provide basic training for future researchers in formal methods. Graduates from this programme will enhance their capacity to avoid errors caused by inadequate requirement formalization or lack of implementation verification, and will be introduced to the design of systems and programs which are error-free, more robust, and easier to understand and verify. They will thus become highly qualified professionals who can tackle very complex computing problems devising highly dependable solutions. These problems appear in advanced technology sectors which design or maintain software in fields including telecommunications, air transportation, underground networks, high-speed rail transport, aerospace and automobile industry, hospital management (including supplies and medical records), energy supply networks, etc., as well as in transversal areas that affect all of them, such as security and privacy.