*: Professors Who Can Become Supervisors of Graduate Students

☆: Adjunctive Professors of Cooperative Graduate School

*KAWABE Tohru |
Control design: Theory and Applications in Robust control, Receding horizon control, hybrid system, Brain machine interface, etc. |
---|---|

*KITAGAWA Takashi |
Numerical analysis: Numerical algorithms for inverse and Illposed problems. Mathematical model of meaning and multimedia information system. |

*KUNO Takahito |
Mathematical programming: Numerical algorithms for globally solving nonconvex optimization problems. |

*SAKURAI Tetsuya |
Computational Mathematics, Numerical Mathematics for Computers, Parallel Computing Algorithms for Supercomputers, Algorithms for Large-scale Data Analysis, Computational Science, Mathematical Software. |

*TOKUNAGA Ryuji |
Chaos, fractals and bifurcation theory. Computer amusement oriented elementary technologies. |

*CAI Dong Sheng |
Multimedia using artificial life theory. High performance computing and parallel computing for space simulation. Imaging using chaos and fractals. |

*SANO Yoshio |
Discrete Mathematics and Mathematical Optimization: Mathematical structure and optimization for discrete systems such as graphs, networks, matrices, and matroids. |

AIHARA Ikkyu |
Mathematical modeling of animal behavior, and its applications |

IMAKURA Akira |
Numerical analysis: Numerical algorithms for solving linear systems and eigenvlaue problems. |

FUTAMURA Yasunori |
Numerical analysis, High performance parallel algorithm, Parallel solver for large-scale linear systems and eigenvalue problems, Parallel numerical software |

MORIKUNI Keiichi |
Numerical linear algebra, large sparse matrix computations, preconditioning algorithms for Krylov subspace methods, least squares problems, singular linear systems |

*OHYA Akihisa |
Intelligent robots and sensing: Mobile robots working in humans’ daily life environment, real world sensory information processing, networked robotics, cooperative multiple mobile robots. |
---|---|

*KAMEYAMA Yukiyoshi |
Programming languages and symbolic logic: type system, metaprogramming, programming logic, program verification. |

*MISUE Kazuo |
Information visualization: visual interface, visual analytics, network visualization, graph drawing. |

*UNNO Hiroshi |
Program verification : model checking, type systems, program analysis, automated theorem proving. |

SAGA Satoshi |
Virtual Reality, Human Interface, Augmented Reality, Tactile Sensor, Haptic Display, Haptic Teaching. |

*SHIZUKI Buntarou |
Human-computer interaction: Visual programming and interaction techniques for end users. |

*TAKAHASHI Shin |
User interface software. Ubiquitous computing. |

MIZUTANI Tetsuya |
Program theory and musical informatics: Logical foundation of verification and analysis of realtime intellectual program systems and musical information. |

VASILACHE Simona |
Software engineering, formal methods, human-computer interaction. |

*AMAGASA Toshiyuki |
Database system, data engineering: XML/RDF Database, social media, and scientific database. |
---|---|

*KATO Kazuhiko |
System software: Operating systems, distributed systems, virtual machines, information security. |

*KITAGAWA Hiroyuki |
Database systems and data engineering : Information integration, WWW and DB, XML databases, multimedia databases, and DBMS architecture. |

*LI Jie |
Mobile/Ubiquitous Networking and Computing, Cloud Distributed Computing, Information Security, OS, System Reliability, Safety, and Evaluation. |

*ABE Hirotake |
System Software, Distributed Systems, Computer Security, Computer Network. |

*OYAMA Yoshihiro |
Computer security, system software, operating systems, virtualization |

*OKA Mizuki |
Web Science, Complex Systems, Artificial Life |

*KAWASHIMA Hideyuki |
Database systems, DBMS architecture, sensor networks, data streams. |

*SHINJO Yasushi |
Operating systems, distributed systems, virtualization, concurrent processing, distributed social networking services. |

*HASEBE Koji |
Applications of logic to computer science : Formal methods, distributed systems, multi-agent systems, game theory. |

*HARAIKAWA Tomohiro |
Networked appliances, embedded system, accessibility. |

FURUSE Kazutaka |
Database systems, information retrieval, and data engineering. |

*MAEDA Atusi |
Implementation of programming languages, garbage collection, runtime system, resource management. |

CHEN Hanxiong |
Database system, knowledge-base system, e-education, information retrieval, knowledge discovery and data mining. |

TSUGAWA Sho |
Network mining: Social network analysis, data mining in large-scale online communities, and design of network services utilizing social networks. |

SHIOKAWA Hiroaki |
Database systems and data engineering: Large-scale data analysis, Data mining, and Graph databases. |

HAYASE Yasuhiro |
Software Engineering : Program comprehension, software repository mining, software maintenance. |

WATANABE Chiemi |
Database, Data Engineering, Privacy-Preserving DBMS, Anonymization, Privacy-Preserving Data Mining, Spatio-Temporal Database, WWW and Database. |

*SATO Mitsuhisa☆ RIKEN |
High-performance parallel computing systems : Cluster computing, parallel programming systems such a OpenMP and HPF, benchmarking and performance evaluation of parallel computing systems, parallel and distributed computing on Grid. |
---|---|

*TAKAHASHI Daisuke |
High-performance computing: High-performance numerical algorithms on parallel computers and performance evaluation. |

*TATEBE Osamu |
Parallel and Distributed System Software, Data-Intensive Computing, High Performance Computing |

*NAKADA Hidemoto☆ AIST |
Parallel computing, distributed computing, grid, cloud. |

*NISHIKAWA Hiroaki |
Hyper-distributed system and specification environment: Hyper parallel distributed processing scheme based on data-drive paradigm and its multilateral specification environment. |

*BOKU Taisuke |
Massively parallel and high performance computing systems : Massively parallel processing system architecture, cluster computing and its system software, performance evaluation in high performance computing. |

*YASUNAGA Moritoshi |
VLSI engineering: VLSI design and implementation of parallel and distributed systems and evolutionary systems. |

*WADA Koichi |
Parallel/distributed processing and computer architecture: Parallel computer architecture. Parallel and distributed processing system including parallel programming language processors and applications. |

*KIMURA Shigetomo |
Information communication engineering: Process algebra, network protocols and performance evaluation of communication systems. |

SATO Akira |
Design and operation technology for academic network systems, information systems and computing systems. |

*SHOUNO Kazuhiro |
Analog integrated circuit and circuit theory: Highly linearized CMOS transconductors and complex filters. |

*TANIMURA Yusuke☆ AIST |
Parallel and distributed storage. Large-scale data processing. Cloud computing. Grid computing. E-science applications. |

*YAMAGIWA Shinichi |
Middleware and applications on parallel and distributed systems, stream computing and GPGPU. Embedded system applied to sports science and cognitive engineering. |

*YAMAGUCHI Yoshiki |
VLSI engineering and computer architecture: Reconfigurable architecture and its applications including parallel and distributed computing, embedded computing and power-efficient computing. |

TOMIYASU Hiroshi |
Making better use of significantly progressing microprosessors for parallel computer architecture after Age of vector supercomputers and massively parallel. |

KANAZAWA Kenji |
VLSI Engineering, Reconfigurable computing, Accelerator for hard computation problems using reconfigurable LSI. |

KOBAYASHI Ryohei |
FPGA applications, Reconfigurable Computing System, High-speed RTL Simulation |

SANNOMIYA Shuji |
Autonomous, parallel, and distributed processor architecture: Research on data-driven chip-multi-processor based on self-timed elastic pipeline. |

TADANO Hiroto |
Numerical analysis: Numerical algorithms for large scale linear systems. Parallel computing for eigenvalue problems. |

*INO Shuichi☆ AIST |
Human machine interface, soft actuator technology, information accessibility, haptic interface design, healthcare and quality of life technology, rehabilitation engineering. |
---|---|

*KAMEYAMA Keisuke |
Learning, adaptive information processing, signal / image encoding, and applications to retrieval and restoration. |

*KUDO Hiroyuki |
Image processing and medical imaging : Image and video processing, imaging science, medical imaging (CT,PET,MRI) and computer-aided diagnosis, intelligent image sensing, music and sound processing, mathematics of inverse problems. |

*MAKINO Shoji |
Acoustic signal processing, Music signal processing, Computational auditory scene analysis: Blind source separation, Acoustic echo cancellation, Segregation, processing, synthesis, 3D reproduction, and retrieval of music, Technical realization of the cocktail party effect. |

*MITANI Jun |
Geometric modeling, Computer graphics and CAD: Interface for modeling, non-photo realistic rendering and unfolding to 2D plane. |

*KANAMORI Yoshihiro |
Computer graphics: real-time rendering, visual simulation and geometric modeling, Non-Photorealistic Rendering. |

*TAKIZAWA Hotaka |
Intelligent image processing: medical image recognition, computer-aided diagnosis, computer vision, 3-D object recognition. |

*YAMADA Takeshi |
Speech and acoustic information processing: speech recognition, sound scene understanding, multi-channel signal processing, media quality assessment, and e-learning. |

ENDO Yuki |
Computer graphics, image synthesis and editing techniques, image recognition, spatio-temporal data mining, and deep learning. |

SUZUKI Taizo |
Media signal processing: Image and video processing, source coding, multidimensional transform. |

*KANOH Hitoshi |
Evolutionary computation, genetic algorithm, swarm intelligence, artificial life, intelligent transportation systems. |
---|---|

*SAKAI Ko |
Computational vision: Early-to-intermediate-level vision, perception of 3D structure from various cues, nonlinear analysis of cortical network models, and psychophysical experiments. |

*SAKUMA Jun |
Machine learning and knowledge discovery: data mining, statistical learning, reinforcement learning, genetic algorithm, knowledge discovery from personal information, privacy-preserving data mining. |

*FUKUI Kazuhiro |
Pattern recognition and computer vision: Face recognition, 3D object recognition, human sensing, robot vision. |

*YAMAMOTO Mikio |
Natural Language Processing on the Web using statistical methods: Statistical machine translation and Web documents processing such as sentiment analysis. |

*INUI Takashi |
Natural Language Processing: Information extraction and knowledge acquisition from natural language data, opinion mining, and sentiment analysis. |

*SATOH Yutaka☆ AIST |
Ubiquitous vision, Robot vision, Stereo omnidirectional system (SOS). |

*HINO Hideitsu |
Machine Learning: Kernel Methods, Distance Metric Learning, Ranking Model, Dimension Reduction, Entropy Estimation, Sparse Representation. |

ARANHA Claus |
Study of Artificial Intelligence, Machine Learning and Evolutionary Computation. Applications for Optimization, Bioinformatics and Gaming. Parallelization of Machine Learning Algorithms. |

ITOH Makoto |
Systems safety: mutual trust and cooperation in human-machine systems, cognition, inference, and decision making under uncertainty or gray zone, perception and acceptance of risk. |
---|---|

OMOTE Kazumasa |
Network Security: malware countermeasure, risk assessment for cyber attacks, cloud security and sensor network security |

KATAGISHI Kazuki |
Wisdom information communication systems: Hyperfunctions-based “Fluency Information Theory”, New Generation Network, Network security technologies. |

NISHIDE Takashi |
Information security: design of publickey encryption, cryptographic protocol, privacy-enhancing technology, method for securing information systems. |

FURUKAWA Hiroshi |
Cognitive interface design: human interface to extend cognitive capability, navigation support, learning support, mental models. |

☆: Laboratories of Cooperative Graduate School

- Advanced Control Systems Research Group
- Chaos and Computer Amusement Oriented Systems Laboratory
- Computer and Visual Sciences Laboratory
- Mathematical Modelling and Algorithm Laboratory
- System Optimization Laboratory

- Artificial Intelligence Laboratory (Mizutani lab.)
- Intelligent Robot Laboratory
- Interactive Programming Laboratory
- Programming Logic Laboratory
- Symbolic Computation Research Group
- Visualization and Interactive Systems Laboratory

- Computer Networks Laboratory
- Data-Driven Networking Architecture Laboratory
- Data System Engineering Laboratory
- Electronic Circuit Laboratory
- High Performance Computing System Laboratory
- Integration System Laboratory
- Interactive Architecture Laboratory
- Kitagawa Data Engineering Laboratory
- Life-Electronics Laboratory
- Nakada・Tanimura Laboratory☆
- Operating System and Distributed Processing Laboratory
- Operating System and System Software Laboratory
- Parallel and Distributed Computing Laboratory
- Realtime and Embedded Architecture Laboratory
- Software Laboratory
- System Security Laboratory
- Web Science Laboratory

- Adaptive Information Processing Group
- Akamatsu Laboratory☆
- Computational Vision Science Laboratory
- Computer Vision Laboratory
- Image Science Laboratory
- Knowledge System Laboratory
- Machine Intelligence & Biomedical Engineering Laboratory
- Machine Learning/Data Mining Laboratory
- Multimedia Laboratory
- Non-numerical Processing Algorithms Laboratory
- Quality of Life Technology Laboratory☆
- Satoh Laboratory☆
- Statistical Data Analysis Laboratory