Máster Universitario en Metodos Formales en Ingeniería Informática/Formal Methods in Computer Science (conjunto con UPM)Translated
Our classification by 12 module titles, weighted by credits.
A 1-year master's programme, taught in English, in Madrid.
All 12 modules
| Module | Type | ECTS |
|---|---|---|
| Required | 6 | |
| Required | 6 | |
| Elective | 6 | |
| Elective | 6 | |
| Elective | 6 | |
| Elective | 6 | |
| Elective | 6 | |
| Elective | 6 | |
| Elective | 6 | |
| Elective | 6 | |
| Elective | 6 | |
| Thesis | 12 |
Source: ucm.es, checked 31 Oct 2026
Where this programme leans, compared with the same level and field.
Share of credits by theme. Right: modules counted. Our classification by module titles.
Complutense MadridShare here against the average of 6 similar programmes. Our classification by module titles.
About the same as typical: specialist subjects, research methods, projects and labs, society, ethics and law.
The rest of what we hold on Complutense Madrid is on its page.
≥ €5,085.32 first year · 2026/27 · non-EU · our sum
?Not published: visa fee and living costs
Add your own figures Not published. Only you see these, nothing is saved.
≥ €2,741.20 first year · 2026/27 · EU/EEA · our sum
?Not published: living costs
Add your own figures Not published. Only you see these, nothing is saved.
≥ €5,085.32 first year · 2026/27 · non-EU · our sum
?Not published: visa fee and living costs
Add your own figures Not published. Only you see these, nothing is saved.
| Fee | Who pays it | Year | Amount |
|---|---|---|---|
| Tuition | EU/EEA citizens | 2026/27 | €45.02 / credit |
| Tuition | Non-EU citizens | 2026/27 | €84.07 / credit |
Your passport changes the rate.
Becas para residentes en Colegios Mayores UCM
Ayudas del programa de acogida a personas refugiadas
Ayudas al estudio Concepción Arenal
Among 4 similar programmes, in euros / credit
Costs more than 2 of 3 similar programmes. Too few programmes to name a typical price (we need 5).
Same level, field and language. Years differ; euros are approximate (ECB).
Similar: same level, field and language, Spain
The first two matches side by side with this programme, then 4 more.
| This programmeMaster's Degree in Formal Methods in Computer Science (Joint with UPM) Complutense Madrid | SimilarMaster's Degree in Fundamentals of Data Science UB | SimilarMaster's Degree in Data Center Infrastructure Nebrija | |
|---|---|---|---|
| Price | €84.07 / credit · 2026/27 | €82 / credit · 2026/27 | Not published |
| Duration | 1 year | 1 year | 1 year |
| Language | English | English | English |
| Next date | Not published | Not published | Not published |
1 of 6 publish a next date.
UPV · UPV Hangzhou Campus Site (China)Spain
Máster Universitario en Artificial Intelligence TechnologiesTranslated
47% data and computing · 17% thesis
UPV · UPV Hangzhou Campus Site (China)Spain
59% data and computing · 17% thesis
IE · MadridSpain
52% data and computing · 14% free electives
IE · MadridSpain
61% data and computing · 12% business and management
Checked 4 days ago.
Master's Degree in Formal Methods in Computer Science (Joint with UPM) is a master's programme in computing and data at Universidad Complutense de Madrid in Madrid, Spain. It takes 1 year. It carries 60 ECTS credits. Teaching is in English.
The institution publishes 12 modules, of which 9 are optional. By our classification of module titles, the largest themes are data and computing (46%), free electives (23%) and thesis (15%).
€84.07 / credit · 2026/27 · non-EU; prices differ by citizenship (EU/EEA citizens: €45.02; Non-EU citizens: €84.07).
Master classes start 21 September 2026; second semester 25 January 2027 (Starts).
English.
1 year.
Universidad Complutense de Madrid, Madrid, Spain.
Spotted a mistake? Report an error and we fix and log it.
Every value with its source, and every field we looked for but could not find.
Institution record: Universidad Complutense de Madrid
Programmes you open appear here, so you can switch between them.
Madrid