西班牙留学学费

加泰罗尼亚理工大学

加泰罗尼亚理工大学（http://www.upc.edu/）前身是始建于1968年的高等理工学院。1971年，巴塞罗那理工大学成立，同年，建立巴塞罗那电讯工程学院，也就是今天的加泰罗尼亚理工大学。

在2023QS世界大学排名榜上排名第343，是西班牙排名第一的理工大学。

作为西班牙知名的高等学府，加泰罗尼亚理工大学致力于提供高水平的高等教育服务，学校的建筑和理工科等多个专业处于世界顶尖水平，多个硕士和博士项目在全球科技领域和生产领域得到了广泛的认可。加泰罗尼亚理工大学的培训和教育紧跟生产领域的需求，尤其是新兴科技的发展，培养和拓展学生的能力、见识及可塑性，致力于打造有创新和研究精神，并具备跨学科能力的国际化人才，学校与多家公司建立了长期的合作关系。

Computer Vision 计算机视觉

学制：1年，60学分

语言：至少B2水平

马德里康普斯顿大学

马德里康普顿斯大学（https://www.ucm.es）是西班牙历史悠久，规模最庞大、科系最齐全的大学，正式建校于 1499 年，但其源头可追溯到 1293 年。学校位于首都马德里市区，共有两个校区。在2023QS世界大学排行榜上，马德里康普顿斯大学位于226名，在西班牙大学中排名第四，仅次于巴塞罗那自治大学、巴塞罗那大学与马德里自治大学。

Formal Methods in Computer Science & Engineering 计算机科学与工程中的形式方法，学制：1年

马德里理工大学

马德里理工大学（http://www.upm.es/institucional）建立于1971年，是西班牙教育部的重点国立大学之一，学校的历史可以追溯到18世纪卡洛斯三世在位期间，学校的前身——高等技术学院是当时西班牙唯一一所教授建筑与工程的大学，因此可以好不夸张的说，西班牙的大部分科学技术都是由马德里理工大学建筑与工程学院铸就的。该校为西班牙的发展与进步、世界科学技术的推进做出了巨大贡献。

马德里理工大学在最新的世界大学学术排行榜上，排名第601-700之间，是西班牙理工科排名第2的大学。

Formal Methods in Computer Science计算机科学的形式方法

学制：1年

马德里自治大学

马德里自治大学（http://www.uam.es/uam/inicio）成立于1968年，坐落在西班牙的首都马德里，校园环境现代与古典完美结合，基础设施完备，是西班牙著名的公立大学。马德里自治大学是马德里生活的中心，是外国留学生体验典型欧洲生活的地方。

马德里自治大学是西班牙最负盛名的大学之一，在2023QS世界大学综合排行榜上位列第215位，位居西班牙大学第3名，仅次于巴塞罗那自治大学（世界排名第178）与巴塞罗那大学（世界排名第184）。

马德里自治大学共设有7个学院，开设课程涵盖人文、自然科学、经济、法律、哲学与艺术、心理、医学、教育和工程等，提供40多个本科专业和近100个研究生专业。科研方面，学校与多所西班牙大学合作，致力于提高西班牙大学的科研产出和国际化。优势学科主要有数学、医学、法学等。

Master’s Degree in Formal Methods in Computer Science计算机科学形式方法

学制：60学分