A variety of research activities in computer science and its applications to computing systems are vigorously pursued at the institute.
Topics of current research include:
- theory of computation
- lambda calculus
- type theory
- programming languages
- mathematical logic
We encourage discussion and collaboration among the members, and promote unity of the group, through the following regular events.
- Coffee/tea break, everyday in the afternoon
- Group lunch on Tuesdays, at our Computer Science Laboratory
- Seminar talks usually on Thursdays