Opportunities to Study Computational Logic

On the subject of graduate study, here is an option that might be attractive to students with interests in logic and its application. The European Master of Science Program in Computational Logic is a two year program run in collaboration with five universities, the technical universities of Dresden, Vienna, and Madrid, the Free University of Bolzano, and the New University of Lisbon. Instruction is in English. Students interested in moving from mathematics or philosophy into theoretical computer science may find this rigorous program to offer an attractive bridge. The prerequisites are listed here. Although ours is a young program, we are seeing good success placing our graduates in top PhD programs in computer science, in both the US and in Europe. Moreover, I would anticipate that formal epistemology programs would be interested in philosophically oriented students with a strong background in computational logic.

Another nice thing is that the “European Master” designation allows us to offer funding for non-European students, including a yearly travel stipend to and from your home country. I encourage interested students to check the links, including a promotional video on the first linked page, or contact Professor Stephen Holldöbler at TU Dresden. I’d be happy to field questions, too.


Opportunities to Study Computational Logic — 2 Comments

  1. Thanks for sharing this! These programs look very interesting, and the lecturers are clearly top-notch. I am interested to know more about placement of graduates of this program in PhD programs (in the U.S., in particular). I did not see anything about this on the website — could you say more about this (either here or privately), or give pointer to the relevant info?

    Thanks very much! Best, –Yarden

  2. Hi Yarden,

    We don’t have placement data up, and I’m not entirely sure why. I wouldn’t be too surprised if there was a bizarre EU or member country data law restricting this information, but I don’t know. So, let me answer your question anecdotally until I get an answer to why we do not have this data posted.

    The Computational Logic Master’s degree started at TU Dresden in the 90s. About three or so years ago Lisbon joined with Dresden to create this distributed Master’s program, and Vienna, Madrid, and Balzano were added to fill out the network. Our first full class of students from the full networked MSc program will finish this spring.

    So far the program seems to be working as a rigorous screen. There is variance in each class, as you would expect for a MSc program, but I’ve seen the best students in the last few years have their pick of PhD programs or be pestered by consulting firms. And these folks have appeared happy with the program; they haven’t felt like outliers.

    The idea behind the EU funding is that the EU wants to compete with the US for students from Asia and Latin America in a handful of areas, and also to stem the flow of European students leaving the EU for graduate study in the States. Theoretical computer science is one of the those areas. The stipends are pretty good generous, and a student would have the opportunity to live in two countries over two years. (Vienna, Lisbon, Dresden, Madrid, and the Italian Alps are not bad choices.)

    Finally, when you factor in how vibrant the European logic scene is, I think the program fills a nice niche.

Leave a Reply

Your email address will not be published. Required fields are marked *