If you are interested in the work of our researchers please consult their own pages or ask them directly by Email. 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

Jun Maillard (Ecole Normale Superieure, ENS)
Postdoctoral Researchers
 Tetsuya Sato
 Takeo Uramoto
Doctorate Candidates
 Takanori Hida
 Yawara Ishida
 Kazunobu Komatsu
 Kei Matsumoto
 Rossen Mikhov
 Shota Motoura
 Toru Takisaka
 Taichi Uemura
Master Students
 Hisashi Aratake
 Daichi Fujiwara
 Youji Fukihara
 Takuma Imamura
 Yusuke Ishibashi
 Tsukasa Makino
 Kentaro Yamamoto
Former Members
 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(University of Tokyo)
 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 ElectroCommunications)
 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
 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, MayApr 2009 & March 2010) pic
 PaulAndré Melliès (Univ. Paris 7, JanApr 2009)
 Jun Pang (Univ. Luxembourg, March 2009)pic
 Ana Sokolova (Univ. Salzburg, NovDec 2008)pic
 Patrick Baillot (ENS Lyon, 2008)
 Diana Koenraadt (Technical Univ. Eindhoven, 2010)
 PierreMarié Pedrot (ENS Lyon, 2010)