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)
- 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)