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

- Petr Cintula(Institute of Computer Science of Czech Academy of Science)

#### Postdoctoral Researchers

- Tetsuya Sato
- Takeo Uramoto

#### Doctorate Candidates

- Takanori Hida
- Yawara Ishida
- Kazunobu Komatsu
- Kei Matsumoto
- Rossen Mikhov
- Shota Motoura
- Toru Takisaka

#### Master Students

- Hisashi Aratake
- Daichi Fujiwara
- Taichi Uemura
- 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 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

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