Academic Staff and Researchers

Masahito Hasegawa (Professor)
Ph.D. (University of Edinburgh)
Theory of programming languages, semantics of computation, category theoretic models
Koko Muroya (Assistant Professor)
Ph.D. (University of Birmingham)
Programming languages, interaction semantics and rewriting
Kazushige Terui (Associate Professor)
Ph.D. (Keio University)
Logic (esp. linear logic), type theory, computational complexity
Soichiro Fujii (Postdoctoral Research Fellow)
D.Sc. (University of Tokyo)
Categorical universal algebras, higher category theory
Youji Fukihara (Postdoctoral Research Fellow)
D.Sc. (Kyoto University)
Category-theoretic models
Takuma Imamura (Postdoctoral Research Fellow)
D.Sc. (Kyoto University)
Mathematical logic, nonstandard analysis, topology, philosophy of science

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

Visitors

Doctorate Candidates

Hisashi Aratake
Kiraku Minami
Haruka Tomita
Masahiko Miyamoto
Satoshi Nakata
Takahiro Sanada
Ryoya Kojima

Master Students

Rihito Takase
Tomoya Yoshida
Keisuke Hoshino
Kengo Hirata

Former Members (not exhaustive)

K. Asada (Tohoku University)
M. Blume (Google)
J. P. Furuse (DaiLambda, Inc.)
J. Garrigue (Nagoya University)
M. Hashimoto (Chiba Inst. Tech.)
I. Hasuo (NII)
Y. Hayashi (Knowledge Flow, Inc.)
N. Hoshino (Sojo University)
H. Hosoya (ATR)
K. Kagawa (Kagawa University)
S. Katsumata (NII)
Y. Minamide (TIT)
K. Miyabe (Meiji University)
K. Nakano (Tohoku University)
S. Nishimura (Dept. Mathematics, Kyoto University)
A. Ohori (Tohoku University)
T. Sato (TIT)
K. Tajima (Institute for Liberal Arts and Sciences, Kyoto University)
M. Tanabe (Ube National College of Technology)
N. Tsumagari (Sojo University)
T. Uemura (University of Amsterdam)
I. Ulidowski (University of Leicester)
T. Uramoto (Kyushu University)

Former Visitors

Jean-Simon Pacaud Lemay (Oxford University, 2020)
John Power (Macquarie University, 2019-2020)
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.