If you are interested in the work of our researchers please consult their own pages or ask them directly by E-mail. See also the list of our recent publications.

#### Academic Staff and Researchers

- Masahito Hasegawa (Professor)
- Ph.D. (Univ. of Edinburgh)
- Theory of programming languages, semantics of computation, category theoretic models
- Naohiko Hoshino (Assistant Professor)
- D.Sc. (Kyoto Univ.)
- Semantics of programming languages, linear logic, Geometry of Interaction, category theory
- Koko Muroya (Assistant Professor)
- M.Sc. (Univ. Tokyo)
- Programming languages, interaction semantics and rewriting
- Kazushige Terui (Associate Professor)
- Ph.D. (Keio Univ.)
- Logic (esp. linear logic), type theory, computational complexity
- Soichiro Fujii (Postdoctoral Research Fellow)
- D.Sc. (Univ. Tokyo)
- Categorical universal algebras, higher category theory
- Amar Hadzihasanovic (Postdoctoral Research Fellow)
- Ph.D. (Univ. of Oxford)
- Higher category theory, algebraic topology, categorical quantum theory

Our graduate programs are organized in collaboration with Prof. Susumu Nishimura in Department of Mathematics.

#### Visitors

#### Doctorate Candidates

- Yawara Ishida
- Taichi Uemura
- Hisashi Aratake
- Youji Fukihara
- Takuma Imamura
- Kiraku Minami

#### Master Students

- Haruka Tomita
- Masahiko Miyamoto
- Satoshi Nakata
- Takahiro Sanada

#### Former Members

- K. Asada (University of Tokyo)
- M. Blume (Google)
- E. Duchesne
- J. P. Furuse
- J. Garrigue (Nagoya University)
- M. Basaldella
- M. Hashimoto
- I. Hasuo(NII)
- Y. Hayashi (Knowledge Flow, Inc.)
- H. Hosoya
- A. Ishihara
- K. Kagawa (Kagawa University)
- Y. Kakutani (Tokyo University)
- S. Katsumata (NII)
- Y. Minamide (TIT)
- K. Miyabe (Meiji University)
- K. Nakano (University of Electro-Communications)
- K. Nakata
- S. Nishimura (Dept. Mathematics, Kyoto University)
- A. Ohori (Tohoku University)
- C. Pastro(Kyushu University)
- T. Sato (University at Buffalo)
- K. Tajima (Dept. Social Informatics, Kyoto University)
- M. Tanabe (Ube National College of Technology)
- N. Tsumagari (Sojo University)
- I. Ulidowski (University of Leicester)
- T. Uramoto (Tohoku University)

#### Former Visitors

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