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
- Zeinab Galal (Assistant Professor)
- Ph.D. (Université de Paris)
- Category theory, semantics
- 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
- Keisuke Hoshino (Postdoctoral Research Fellow)
- D.Sc. (Kyoto University)
- Category theory, higher category theory
- Nick Hu (JSPS Postdoctoral Research Fellow)
- DPhil (University of Oxford)
- Categorical semantics of programming languages
- Ryota Kojima (Postdoctoral Research Fellow)
- D.Sc. (Kyoto University)
- Coalgebraic temporal logic
- Rose Kudzman-Blais (JSPS Postdoctoral Research Fellow)
- Ph.D. (University of Ottawa)
- Monoidal categories, categorical logic
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
- Yuto Kawase
- Yutaka Maita
- Hayato Nasu
- Kenshin Hirai
Master Students
- Rei Kawashima
- Wataru Tanizaki
- Kaito Endo
Former Members (not exhaustive)
- H. Aratake (National Institute of Technology, Oyama College)
- K. Asada (Tohoku University)
- M. Blume (Google)
- S. Fujii (NII)
- 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. Maehara (Tokyo Metropolitan University)
- Y. Minamide (Institute of Science Tokyo)
- 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 (Iwate Prefectural University)
- 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)