- 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
-
- 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 / 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