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
  • concurrency

We encourage discussion and collaboration among the members, and promote unity of the group, through the following regular events.

For more information, see our list of publications and also the list of members.

Research Institute for Mathematical Sciences, Kyoto University, 606-8502 Japan.