Master's Degree in Pure and Applied Logic | Master's degree | Computer Science & IT | On Campus | Universitat de Barcelona | Spain

The master's degree in Pure and Applied Logic is designed to provide advanced training in logic, in both its pure and applied forms. Successful students will have to chance to take their first steps in research in the principal areas of logic, pursue further studies, or move into professional careers. This degree is offered jointly by the University of Barcelona (UB) and the Polytechnic University of Catalonia (UPC). The UB is the coordinating university. The following departments contribute to the teaching of this course: Department of Computer Science (UPC) Department of Philosophy(UB) Department of Mathematics (UPC) Department of Mathematics and Computer Science (UB) The above departments are attached to the Faculty of Philosophy and the Faculty of Mathematics and Computer Science at the University of Barcelona, and to the School of Mathematics and Statistics and the Barcelona School of Informatics at the Polytechnic University of Catalonia. The course is taught by the largest group of logic experts in Spain, who form one of the most significant bodies of specialists in the whole of Europe. All of the teaching staff are actively involved in research and are internationally recognized experts in their fields, which include computational complexity, the logical foundations of artificial intelligence, the history of logic, algebraic logic, non-classical logic, set theory, proof theory and model theory.