Enter search term
Desplegar navegación
Log in
Complutense University of Madrid
Desplegar navegación
UCM
Governance
Faculties and Departments
Campuses
History
Gender Equality
+
Study with Us
Courses
Halls of Residence
Student Services
+
Research
Library
Knowledge Transfer Office
Complutense University Press
+
International
Front Page
Partner Institutions Browser
EU Programmes
Other Exchange Programmes
Mobility
Networks & Alliances
+
University Life
Madrid
Culture
Sport
What's On
Transport
Museums
+
Home
»
Courses
»
Master's Programme
»
Metodos Formales en Ingeniería Informática/Formal Methods in Computer Science (conjunto con UPM)
Metodos Formales en Ingeniería Informática/Formal Methods in Computer Science (conjunto con UPM)
Master's Programme. Academic Year 2026/2027.
Supervising Department
:
Facultad de Informática
.
Course Coordination
:
Albert Rubio Gimeno
.
Entrance and Admission
ECTS and Placements
Details about the study programme
Master website
External link
Díptico de la titulación
Leaflet in English
Details
Objectives and learning outcomes
Study Programme Structure
