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

Master Students

Kiraku Minami
Masashi Kajihara
Kanako Kobayashi
Haruka Tomita

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