Professor Reiji Nakajima passed away on 18th January 2008, at the age of 60.
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
- Michele Basaldella (Post-doctoral Researcher)
- Ph.D. (Univ. of Siena)
- Linear Logic, Ludics
- Masahito Hasegawa (Professor)
- Ph.D. (Univ. of Edinburgh)
- Theory of programming languages, semantics of computation, category theoretic models
- Kenshi Miyabe (Post-doctoral Researcher)
- D.Sc. (Kyoto Univ.)
- Algorithmic randomness, prequential probability
- 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
Doctorate Candidates
- Yawara Ishida
- Rossen Mikhov
- Tetsuya Sato
Master Students
- Yuki Goto
- Takanori Hida
- Kei Matsumoto
- Shota Motoura
Former Members
- Kazuyuki Asada (Univ. of Tokyo)
-
M. Blume (Toyota Technological Institute at Chicago)
- Etienne Duchesne (Université de Provence)
- J. P. Furuse (Tokyo University)
- J. Garrigue (Nagoya University)
- M. Hashimoto (CARC, AIST)
- Ichiro Hasuo(Tokyo U.)
- Y. Hayashi (Knowledge Flow, Inc.)
- H. Hosoya (Tokyo University)
- A. Ishihara (Vrije Universiteit Amsterdam)
- K. Kagawa (Kagawa University)
- Y. Kakutani (Tokyo University)
- P.-A. Mellies (Universite Paris VII)
- Y. Minamide (Tsukuba University)
- K. Nakano (University of Electro-Communications)
- K. Nakata (Tallinn University of Technology)
- S. Nishimura (Dept. Mathematics, Kyoto University)
- A. Ohori (Tohoku University)
- Craig Pastro (Kyushu University)
- A. Simpson (University of Edinburgh)
- K. Tajima (Dept. Social Informatics, Kyoto University)
- M. Tanabe (Ube National College of Technology)
- I. Ulidowski (University of Leicester)
Former Visitors
- 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)