- 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
-
- Design and analysis of algorithms. In particular, geometric algorithms and their application to computational algebra, discrete system and optimization, including system analysis.
- 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.
- Quantum computation and quantum information science
- Design and analysis of algorithms. In particular, geometric algorithms and their application to computational algebra, discrete system and optimization, including system analysis.
- 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
- 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