If you are interested in the work of our researchers please consult their own pages or ask them directly by E-mail. See also the list of our recent publications.

Academic Staff and Researchers

Masahito Hasegawa (Professor)
Ph.D. (Univ. of Edinburgh)
Theory of programming languages, semantics of computation, category theoretic models
Naohiko Hoshino (Assistant Professor)
D.Sc. (Kyoto Univ.)
Semantics of programming languages, linear logic, Geometry of Interaction, category theory
Koko Muroya (Assistant Professor)
M.Sc. (Univ. Tokyo)
Programming languages, interaction semantics and rewriting
Kazushige Terui (Associate Professor)
Ph.D. (Keio Univ.)
Logic (esp. linear logic), type theory, computational complexity
Soichiro Fujii (Postdoctoral Research Fellow)
D.Sc. (Univ. Tokyo)
Categorical universal algebras, higher category theory
Amar Hadzihasanovic (Postdoctoral Research Fellow)
Ph.D. (Univ. of Oxford)
Higher category theory, algebraic topology, categorical quantum theory

Our graduate programs are organized in collaboration with Prof. Susumu Nishimura in Department of Mathematics.

Visitors

Doctorate Candidates

Yawara Ishida
Taichi Uemura
Hisashi Aratake
Youji Fukihara
Takuma Imamura
Kiraku Minami

Master Students

Haruka Tomita
Masahiko Miyamoto
Satoshi Nakata
Takahiro Sanada

Former Members

K. Asada (University of Tokyo)
M. Blume (Google)
E. Duchesne
J. P. Furuse
J. Garrigue (Nagoya University)
M. Basaldella
M. Hashimoto
I. Hasuo(NII)
Y. Hayashi (Knowledge Flow, Inc.)
H. Hosoya
A. Ishihara
K. Kagawa (Kagawa University)
Y. Kakutani (Tokyo University)
S. Katsumata (NII)
Y. Minamide (TIT)
K. Miyabe (Meiji University)
K. Nakano (University of Electro-Communications)
K. Nakata
S. Nishimura (Dept. Mathematics, Kyoto University)
A. Ohori (Tohoku University)
C. Pastro(Kyushu University)
T. Sato (University at Buffalo)
K. Tajima (Dept. Social Informatics, Kyoto University)
M. Tanabe (Ube National College of Technology)
N. Tsumagari (Sojo University)
I. Ulidowski (University of Leicester)
T. Uramoto (Tohoku University)

Former Visitors

Leo Stefanesco (ENS Lyon, 2017)
Bakhadyr Khoussainov (Univ. Auckland, 2016-2017, 2018, 2019)
Jun Maillard (ENS Paris, 2016)
Ikram Cherigui(ENS Paris, 2015)
Kenji Maillard (ENS Paris, 2013)
Jean-Yves Girard (Marseille, 2011)
Yde Venema (University of Amsterdam, 2011)
Pierre-Marié Pedrot (ENS Lyon, 2010)
Aloïs Brunel (ENS Lyon, 2009)
Paul-André Melliès (Univ. Paris 7, 2006 and 2009)
Alex Simpson (University of Edinburgh, 2002-2003)
Research Institute for Mathematical Sciences, Kyoto University, 606-8502 Japan.