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
Hisashi Aratake (Postdoctoral Research Fellow)
D.Sc. (Kyoto University)
Categorical logic, model theory
Youji Fukihara (Postdoctoral Research Fellow)
D.Sc. (Kyoto University)
Category-theoretic models

Our graduate programs are organized in collaboration with Prof. Susumu Nishimura in Department of Mathematics. Also there are joint activities with Prof. Akitoshi Kawamura's group at RIMS.

Visitors

Serge Lechenne (Ecole Normale Supérieure)

Doctorate Candidates

Satoshi Nakata
Takahiro Sanada
Ryota Kojima
Keisuke Hoshino
Kengo Hirata

Master Students

Yutaka Maita
Yuto Kawase
Hayato Nasu

Former Members (not exhaustive)

K. Asada (Tohoku University)
M. Blume (Google)
S. Fujii (Macquarie University)
J. P. Furuse (DaiLambda, Inc.)
J. Garrigue (Nagoya University)
A. Hadzihasanovic (Tallinn University of Technology)
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)
JS Lemay (Macquarie University)
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 (Stockholm University)
I. Ulidowski (University of Leicester)
T. Uramoto (Kyushu University)

Former Visitors

Nuiok Dicaire (University of Edinburgh, 2022)
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.