Curriculum for graduate students

The current curriculum for graduate studies is as follows:

Basic theories (the first year of the master course)

Seminars on basic theories of computer science.

  • Mathematical Logic
  • Formal Languages, Automata and Compilers
  • Denotational Semantics, Domain Theory and Category Theory
  • Rewriting Systems, Algebraic Models
  • Parallel Computation, Concurrency
  • Lambda Calculus, Type Theory and Functional Languages
  • Computer Archtecture

Seminars for Master and Doctrate Theses

Thesis seminars are arranged on an individual basis according to the students' interests.

Other Seminars

There also are seminar slots, for topics related to computer science.

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