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