Master in Métodos Formales En Ingeniería Informática / Formal Methods In Computer Science

The Autonomous University of Madrid, established in 1968, is a distinguished public university located in the Spanish capital. With over 30,000 students and a large international cohort, the university is known for academic and research excellence across humanities, social sciences, natural sciences, health sciences and engineering. Its Madrid location provides rich cultural resources and strong professional networks that enhance both academic life and personal development.

UAM’s academic portfolio of some 41 program areas is supported by modern laboratories, extensive libraries and specialized research centers. Faculty members are active researchers who integrate cutting-edge inquiry into teaching, encouraging students to develop critical thinking and research skills. International collaborations and exchange programs expand learning opportunities and prepare graduates to address global challenges with interdisciplinary perspectives.

Students benefit from a dynamic urban campus life with cultural events, language exchange and extracurricular societies that foster creativity and community. Career services, internships and alumni networks support transitions into professional roles across Europe and beyond. For international students seeking rigorous academics, research opportunities and the vibrant cultural life of Madrid, the Autonomous University of Madrid provides a stimulating environment for academic and personal growth.