Prospective PhD Students
We welcome motivated students who wish to pursue doctoral research in theoretical areas of computer science and logic.
Who We Look For
External students are admitted primarily at the doctoral (PhD) level. We particularly welcome students with a strong interest in theoretical computer science and mathematical logic.
Research areas open to PhD students
- Theoretical Computer Science — logic, type theory, and the theory of program verification
- Mathematical Logic — bounded arithmetic and computational complexity
Admission & Funding
The admission process, as well as scholarships and financial support, varies case by case. Please feel free to contact me directly to discuss your background and research interests. When you write, a short CV and a brief statement of research interest are helpful.