Pure and Applied Logic
Polytechnic University of Catalonia (UPC) is a prestigious public technical university in Spain, located in Barcelona, and internationally recognized for its excellence in mathematics, logic, and theoretical computer science. The university is known for its strong research environment and rigorous academic approach, particularly in formal sciences and foundational studies of computation and reasoning. Its programs in logic and mathematics are designed to develop deep analytical and abstract thinking skills.
Graduates of this program develop strong expertise in formal reasoning systems, gaining advanced knowledge in mathematical logic, proof theory, and computational structures used in theoretical and applied disciplines. The program also builds competence in pure and applied logical analysis, preparing students for careers in academia, research institutions, and technology sectors focused on artificial intelligence, formal verification, and advanced mathematical modeling.
Key Facts
Key Facts
- Program Title: Pure and Applied Logic
- Degree Type: Master of Science
- Duration: 1,5 years
- Mode of Study: Full-time, On Campus
- Application Deadline: 03 July 2026
- Location: Polytechnic University of Catalonia (UPC), Spain
- Field of Study: Mathematics
- Language of Instruction: English
Program Structure
Semester 1 – Foundations in Logic
- Introduction to Logic
- Set Theory and Proof Techniques
- Mathematical Logic
- Logical Paradoxes and Truth
Semester 2 – Advanced Logical Studies
- Modal and Temporal Logic
- Computational Logic
- Philosophical Logic
- Formal Logic Systems
Semester 3 – Applied Logic and Research
- Logic in Computer Science
- Logic in Mathematics
- Research Project in Logic
- Final Thesis in Applied Logic
Career Opportunities
Graduates of the Pure and Applied Logic Master’s program are highly sought after in computational logic, artificial intelligence, and mathematical research. With expertise in logic theory, algorithm development, and formal systems, graduates can pursue roles as computational logicians, AI specialists, researchers, or systems architects. The increasing reliance on logic-based algorithms in AI and computer science ensures strong career prospects in tech firms, AI research labs, and academic institutions.
Why Choose This Program
Pure and Applied Logic program focuses on mathematical logic, computational theory, and formal systems. Students will explore both theoretical and applied aspects of logic, learning to develop and apply logical frameworks to computer science and AI. The program prepares graduates for careers in academia, research, and the tech industry, equipping them with the tools to advance computational logic and AI technologies.
Contact Information
For further information, please contact the admissions office at:
Phone: +34 93 401 6200
Email: info@upc.edu
Address: Polytechnic University of Catalonia (UPC), C. Jordi Girona 31, 08034 Barcelona, Spain
