Bas Terwijn

On August 1, 2008 Bas Terwijn returned to Amsterdam to join the ILLC staff. He got his PhD in 1998, here at ILLC, with a thesis on recursion theory. Since then he has been working at various places all over the world, most recently in Vienna. His expertise lies in the area where logic and computer science overlap. Bas is going to teach in the BSc Computer Science, the BSc Mathematics and the MSc Logic, and his research will form part of the Logic & Computation Programme.

He is in room P 3.12 at Euclides, phone +31 (0)20-525 6011
e-mail: sterwijn at science.uva.nl (or S.A.Terwijn at uva.nl)
URL: http://staff.science.uva.nl/~terwijn/