image
  • HOME
  • Laboratories and Members

Laboratories and Members

In the Faculty of 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.

Nishita Laboratory
Tomoyuki Nishita
We research computer graphics from its fundamental to application. In particular: (1) generation of images which look real; (2) display of landscape of nature; (3) geometric modeling and its application.
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 / Kazuki Yoshizoe
Parallel and distributed sysetm software
Suda Laboratory
Reiji Suda / Yoshinori Tamada
Parallel numerical processing
Takahashi Laboratory
Shigeo Takahashi
computer visualization, visual perception modeling, shape modeling, geographical information systems
Igarashi Laboratory
Takeo Igarashi / Daisuke Sakamoto
User interface, computer graphics
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
Nagasaki Laboratory (Institute of Medical Science)
Masao Nagasaki

(i) Data management and analysis from high troughtput DNA sequencing machine and other high-throughput machines in biology. (Bioinformatics)

(ii) Biological pathway modeling and simulation for understanding a cell as system.””(Systems biology)

Nagasaki lab”Ēs interests are all research topics related to (i) and (ii), e.g. algorithm, data structure, information processing, learning, user interface and software development.

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