• HOME
  • Laboratories and Members

Laboratories and Members

In and Around 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
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
Sugiyama Laboratory
Masashi Sugiyama

We study various topics in machine learning.

  1. Fundamental theories of supervised, unsupervised, and reinforcement learning.
  2. Practical algorithms of supervised, unsupervised, and reinforcement learning.
  3. Applications in natural sciences and industries.
Takahashi Laboratory
Shigeo Takahashi
computer visualization, visual perception modeling, shape modeling, geographical information systems
Yoshimoto Laboratory
Yoshihide Yoshimoto

Computational science is a new approach in the science after the experimental and the theoretical approaches and has developed with the exponential evolution of computers. By utilizing the first-principles electronic structure calculation as a core, the laboratory carries out the educations and researches in the interface region between computer science and compuational science.

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