Academic Staff and Researchers

Masahito Hasegawa (Professor)
Ph.D. (University of Edinburgh)
Theory of programming languages, semantics of computation, category theoretic models
Kazushige Terui (Associate Professor)
Ph.D. (Keio University)
Logic (esp. linear logic), type theory, computational complexity
Mayuko Kori (Assistant Professor)
Ph.D. (The Graduate University for Advanced Studies (SOKENDAI))
Fixed points theory, category theory, verification
Youji Fukihara (Postdoctoral Research Fellow)
D.Sc. (Kyoto University)
Category-theoretic models
Ryota Kojima (Postdoctoral Research Fellow)
D.Sc. (Kyoto University)
Coalgebraic temporal logic
Yuki Maehara (JSPS Postdoctoral Research Fellow)
Ph.D. (Macquarie University)
Higher category theory

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

Doctorate Candidates

Kengo Hirata
Keisuke Hoshino
Yuto Kawase
Yutaka Maita
Hayato Nasu

Master Students

Kenshin Hirai
Wataru Tanizaki

Former Members (not exhaustive)

H. Aratake (National Institute of Technology, Oyama College)
K. Asada (Tohoku University)
M. Blume (Google)
S. Fujii (Masaryk 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 (Kyoto Sangyo University)
JS Lemay (Macquarie University)
Y. Minamide (TIT)
K. Miyabe (Meiji University)
K. Muroya (Ochanomizu University)
K. Nakano (Tohoku University)
S. Nakata (Nagoya University)
S. Nishimura (Dept. Mathematics, Kyoto University)
A. Ohori (Tohoku University)
T. Sanada (Fukui Prefectural University)
T. Sato (TIT)
K. Tajima (Institute for Liberal Arts and Sciences, Kyoto University)
T. Takisaka (University of Electronic Science and Technology of China)
M. Tanabe (Ube National College of Technology)
N. Tsumagari (Sojo University)
T. Uemura (Nagoya University)
I. Ulidowski (University of Leicester)
T. Uramoto (Kagoshima University)

Former Visitors

Jean Zablocki (École Polytechnique, 2024)
Vincent Moreau (IRIF & Université Paris Cité & Inria Paris, 2024)
Nick Hu (University of Oxford, 2024)
Serge Lechenne (ENS Paris-Saclay, 2023)
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.