 |
| Name |
Research Area |
Room |
| Prof. Kei Hiraki |
Computer architecture, highly parallel processing architecture and software |
409 |
| Prof. Masami Hagiya |
Theory of computing, theory of programs, mathematical logic, programming languages, software engineering, formal methods, molecular computing, biomolecular computing, DNA computer |
203 |
| Prof. Hiroshi Imai |
Algorithm, discrete structure, computational geometry, optimization, quantum information science |
207 |
| Prof. Yutaka Ishikawa |
Parallel and distributed system software |
501 |
| Prof. Reiji Suda |
Parallel numerical processing |
201 |
| Prof. Naoki Kobayashi |
Programming languages, program verification |
505 |
| Prof. Takeo Igarashi |
User interface, computer graphics |
303 |
| Lecturer Ichiro Hasuo |
Mathematical structures in computer science, formal verification, quantum programming, category theory, mathematical logic |
401 |
| Prof. Tomoyuki Nishita |
Computer graphics |
514 |
| Assoc. Prof. Shigeo Takahashi |
Computer visualization, visual perception modeling, shape modeling |
Chem233 |
| Prof. Satoru Miyano |
Computational learning theory, genome informatics |
HGC, IMS |
| Prof. Kenta Nakai |
Genome informatics |
HGC, IMS |
| Assoc. Prof. Seiya Imoto |
Genome statistical science, microarray gene expression data analysis |
HGC, IMS |
| Assoc. Prof. Tetsuo Shibuya |
Algorithms in computational biology |
HGC, IMS |
| Lecturer Rui Yamaguchi |
Large-scale data analysis, statistical science |
HGC, IMS |
| Prof. Katsushi Ikeuchi |
Computer vision, virtual reality and robotics |
IIS |
| Prof. Kentaro Shimizu |
Bioinformatics, parallel and distributed computing |
Agri. |
| Prof. Akihiko Takano |
Programming algebra |
NII |
| Prof. Shinichi Honiden |
Agent, object-oriented, software engineering |
NII |
| Prof. Akiko Aizawa |
Text media, knowledge processing |
NII |
|
 |
|
|
