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 for programming language, linear logic, Geometry of Interaction, category theory.
Shinya Katsumata (Assistant Professor)
Ph.D. (Univ. of Edinburgh)
Logical and mathematical models of programs
Kazushige Terui (Associate Professor)
Ph.D. (Keio Univ.)
Logic (esp. linear logic), type theory, computational complexity

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

Visitors

Leo Stefanesco (ENS Lyon)

Postdoctoral Researchers

Tetsuya Sato

Doctorate Candidates

Yawara Ishida
Kazunobu Komatsu
Rossen Mikhov
Shota Motoura
Toru Takisaka
Taichi Uemura

Master Students

Hisashi Aratake
Youji Fukihara
Takuma Imamura
Yusuke Ishibashi
Tsukasa Makino
Kiraku Minami
Masashi Kajihara
Kanako Kobayashi

Former Members

Shinya Katsumata (NII)
Takeo Uramoto
K. Asada (University of Tokyo)
M. Blume (Google)
E. Duchesne (University of Paris 13)
J. P. Furuse (Tokyo University)
J. Garrigue (Nagoya University)
M. Basaldella(JAIST)
M. Hashimoto (CARC, AIST)
Ichiro Hasuo(NII)
Y. Hayashi (Knowledge Flow, Inc.)
H. Hosoya (Presto Researcher, JST)
A. Ishihara (Vrije Universiteit Amsterdam)
K. Kagawa (Kagawa University)
Y. Kakutani (Tokyo University)
P.-A. Mellies (Universite Paris VII)
Y. Minamide (Tsukuba University)
K. Miyabe (Meiji University)
K. Nakano (University of Electro-Communications)
K. Nakata (Tallinn University of Technology)
S. Nishimura (Dept. Mathematics, Kyoto University)
A. Ohori (Tohoku University)
C. Pastro(Kyushu University)
A. Simpson (University of Edinburgh)
K. Tajima (Dept. Social Informatics, Kyoto University)
M. Tanabe (Ube National College of Technology)
N. Tsumagari (University of Tokyo)
I. Ulidowski (University of Leicester)

Former Visitors

Jun Maillard (Ecole Normale Superieure, ENS)
Ikram Cherigui(ENS Paris)
Aloïs Brunel (ENS Lyon)
Claudia Faggian (PPS, Paris 7)
Chris Heunen (Radboud Univ. Nijmegen)
Bartek Klin (Univ. Cambridge & Warsaw Univ.)
Rasmus Møgelberg (IT Univ. Copenhagen)
Alexis Saurin (PPS, Paris 7)
Bart Jacobs (Radboud U. Nijmegen, June 2008, May-Apr 2009 & March 2010) pic
Paul-André Melliès (Univ. Paris 7, Jan-Apr 2009)
Jun Pang (Univ. Luxembourg, March 2009)pic
Ana Sokolova (Univ. Salzburg, Nov-Dec 2008)pic
Patrick Baillot (ENS Lyon, 2008)
Diana Koenraadt (Technical Univ. Eindhoven, 2010)
Pierre-Marié Pedrot (ENS Lyon, 2010)
Research Institute for Mathematical Sciences, Kyoto University, 606-8502 Japan.