Logic is an interdisciplinary and international two-year Master's programme that focuses on the central role of logic as mediator between the sciences and the humanities. The MSc Logic enjoys a strong international reputation as an excellent research training programme. Graduates of the programme frequently move on to become key players in the international logical research community.
The programme was established in 1995 by the Institute for Logic, Language and Computation (ILLC), and remains firmly embedded in this research institute, with staff members from the fields of Computer Science, Philosophy, Cognitive Science, (Computational) Linguistics and Mathematics. The goal and the underlying spirit of the MSc Logic is to connect traditional fundamental research in the formal sciences with a wide variety of applications that range from Information Sciences to Linguistics and Philosophy.
All students are required to participate in the course ‘Logic, Language and Computation', which provides an introduction to the research areas that are being pursued at the ILLC.
The Logic and Computation track focuses on games in computer science, complexity theory and algorithms.
Each student is assigned a member of the academic staff as a mentor. Mentors help students design individual curricula according to their specific strengths, educational needs and interests.
During the fourth semester of the programme, each student writes a research-based thesis under the close supervision of an ILLC staff member. Upon successful completion, the thesis will be published in the ILLC Publication series
This school offers programs in:
Last updated December 22, 2016