Master Degree UPM
Master Degree UPM
Master Degree UPM is the program aims to provide a foundation for grasping, applying (and if necessary, contributing to) the new formal tools available today for specification, growth, analysis, transformation, validation, verification, collection and compilation of code, advanced software, knowledge based systems, and new languages for the production of reliable software. The Master’s program is grew jointly with a association of three other EU universities as part of the European Master in Computational Logic. The Computer Science Department (Facultad de Informatics) of the Technical University of Madrid (UPM) launched a Master Degree in Computational Logic with international cooperation during the course 2004/2005. It was the first Erasmus Mundus master in Europe in the area of Computer Science. The aim of the master in Computational Logic (more about Computational Logic) is to allow for students with the theoretical and practical preparation demanded for the rigorous growth of advanced software using computational logic, declarative technology and formal methods.
Have a Question? Ask Us
Tell us what are you looking for in DETAIL
We will reply as soon as your question is attended, please be patient