• HOME
  • Laboratories and Members

Laboratories and Members

In Science Bldg. 7

Hiraki Laboratory
Kei Hiraki
Our main theme is speed-up of computation, and we engage in research on speeding-up from every computer-related aspect, such as hardware, architecture, operating system, programming languages, algorithm, application software.
Hagiya Laboratory
Masami Hagiya / Yoshihiko Kakutani

With background in formal logic, our laboratory is seeking for new computational models, developing new methods for analyzing and verifying such models, and implementing new tools for analysis and verification. While our main target is software systems and programming languages, we also deal with molecular and biological systems, and we are currently doing research on molecular computing.

Imai Laboratory
Hiroshi Imai / Akitoshi Kawamura
  1. Design and analysis of algorithms. In particular, geometric algorithms and their application to computational algebra, discrete system and optimization, including system analysis.
  2. Giving impact to new disciplines, such as computational biology, database theory, geographic information system, vehicle navigation, knowledge discovery, on the basis of the study of algorithms.
  3. Quantum computation and quantum information science
Ishikawa Laboratory
Yutaka Ishikawa / Balazs Gerofi
Parallel and distributed sysetm software
Suda Laboratory
Reiji Suda / Yoshinori Tamada
Parallel numerical processing
Kobayashi Laboratory
Naoki Kobayashi / Kazutaka Matsuda

We study theoretical foundations for software, and their applications to programming languages, program verification, and program transformation. The recent topics include automated program verification based on higher-order model checking.

Igarashi Laboratory
Takeo Igarashi / Daisuke Sakamoto
User interface, computer graphics
Takahashi Laboratory
Shigeo Takahashi
computer visualization, visual perception modeling, shape modeling, geographical information systems
Yoshimoto Laboratory
Yoshihide Yoshimoto

Atomic structures are the foundations of properties of materials. From the atomic structures, first-principles electronic structure calculations simulates the electronic structures which determine the major part of properties of materials, in a graphic manner. Therefore, the method can elucidate the individuality of various materials. Yoshimoto is a developer of a parallelized first-principles electronic structure calculation software and he is applying it to various systems.

Hasuo Laboratory
Ichiro Hasuo

We employ abstract mathematical languages (esp. category theory and mathematical logic) to model various phenomena in computer science, aiming at fundamental understanding as well as novel applied methods. Current application areas include: formal verification, system correctness, information security, quantum programming, hybrid systems.

Laboratories at other locations

Miyano Laboratory (Institute of Medical Science)
Satoru Miyano / Seiya Imoto
Information analysis of DNA sequence, computing learning theory, knowledge discovery, computational complexity
Nakai Laboratory (Institute of Medical Science)
Kenta Nakai
genome informatics, computational biology, DNA sequence analysis, architechture of cis regulatory regions
Shibuya Laboratory (Institute of Medical Science)
Tetsuo Shibuya / Rui Yamaguchi
Genome analysis; Algorithm theory
Ikeuchi Laboratory (Institute of Industrial Science)
Katsushi Ikeuchi
Virtual and mixed reality, recognition, robotics, intelligent transportation system
Shimizu Laboratory (Department of Biotechnology)
Kentaro Shimizu
Bioinformation engineering, parallel and distributed computing
Honiden Laboratory (National Institute of Informatics)
Shinichi Honiden
Agent, object-oriented, and software engineering
Takano Laboratory (National Institute of Informatics)
Akihiko Takano
Software research, programming
Aizawa Laboratory (National Institute of Informatics)
Akiko Aizawa
Text media, knowlege processing