*: 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. |
| *AIHARA Ikkyu |
Mathematical modeling of animal behavior, and its applications |
| *IMAKURA Akira |
Numerical analysis: Numerical algorithms for solving linear systems and eigenvlaue problems. |
| *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, Graph Theory, Combinatorics. |
| *NAKATA Ayako☆ NIMS |
Application of Computational Mathematics and Machine Learning to Materials Science:Combination of Computational Mathematics/Machine Learning and Quantum chemistry/First-principles simulations. |
| *HIRATA Yoshito |
Nonlinear time series analysis: theory and its applications. |
| TOKUDA Keita |
Dynamical systems, Neural networks, Chaos, Machine learning, Learning and memory, Hippocampus, Biomarker, Central nervous system disease |
| 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 |
| BAKKU Ranjith Kumar |
Bioinformatics approaches for Omics data and Mass-Spectrometry, Biological networks, Biochemical regulatory mechanisms a nd Computational Functional genomics |
| *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. |
| *SHIZUKI Buntarou |
Human-computer interaction: Visual programming and interaction techniques for end users. |
| *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. |
| *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. |
| KAWAGUCHI Ikkaku |
Human Computer Interaction, Remote Communication Support, Communication Robot. |
| YOROZU Ayanori |
Intelligent robot for human-harmonious collaboration, Task and motion planning, Human and environmental sensing, Field robotics. |
| *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. |
| *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 |
| *SHIOKAWA Hiroaki |
Database systems and data engineering: Large-scale data analysis, Data mining, and Graph databases. |
| *SHINJO Yasushi |
Operating systems, distributed systems, virtualization, concurrent processing, distributed social networking services. |
| *HASEBE Koji |
Multi-agent systems: Game theory, Logical reasoning, Formal methods, Autonomous distributed systems. |
| *MAEDA Atusi |
Implementation of programming languages, garbage collection, runtime system, resource management. |
| *MACHIDA Fumio |
System dependability, dependability evaluation, stochastic models, system design optimization. |
| CHEN Hanxiong |
Database system, knowledge-base system, e-education, information retrieval, knowledge discovery and data mining. |
| TSUGAWA Sho |
Network mining, Social network analysis, Computational social science. |
| HAYASE Yasuhiro |
Software Engineering : Program comprehension, software repository mining, software maintenance. |
| HORIE Kazumasa |
Machine Learning, Deep Neural Network, Biological Signal Processing. |
| *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 Specially Appointed Professor |
Hyper-distributed system and specification environment: Hyper parallel distributed processing scheme based on data-drive paradigm and its multilateral specification environment. |
| *NUKADA Akira |
High Performance Computing, Performance Optimization, GPU Computing. |
| *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. |
| FUJITA Norihisa |
High Performance Computing, Accelerator, GPU Computing, Reconfigurable Computing, High Performance Interconnection |
| *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 (CG), rendering, deep learning, image editing techniques, and CG applications for industry. |
| *SUZUKI Taizo |
Multi-perception media processing: Signal processing, image/video processing, compression, perceptual encryption, information hiding, sparse representation, filter banks/wavelets. |
| *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. |
| AOTO Takahito |
Computational Photography, Computer Vision |
| ENDO Yuki |
Computer graphics, image synthesis and editing techniques, image recognition, data mining, machine learning, deep learning |
| *KUNIHIRO Noboru |
Cryptography, Information Security, Quantum Computation, Cryptanalysis, Cryptographic Protocol. |
|---|---|
| *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. |
| *AKIMOTO Youhei |
Black Box Optimization and its Applications: probabilistic model based optimization, evolutionary computation, hyper-pa rameter optimization in machine learning, reinforcement learning, application of information geometry to algorithm design |
| *IGARASHI Yasuhiko |
Machine learning, Multivariate analysis, Sparse modeling, Data-driven science, Measurement informatics, Materials informatics |
| *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). |
| *BABA Yukino |
human computation, crowdsourcing, collective intelligence, machine learning, data mining |
| ARANHA Claus |
Study of Artificial Intelligence, Machine Learning and Evolutionary Computation. Applications for Optimization, Bioinformatics and Gaming. Parallelization of Machine Learning Algorithms. |
| IIZUKA Satoshi |
Computer graphics, image processing, image editing, computer vision, machine learning |
| FUKUCHI Kazuto |
Mathematical statistics and machine learning: statistical inference, statistical learning, fairness and privacy in machine learning, data mining |
| YE Xiucai |
Feature selection, Clustering, Machine learning, Data analysis, Network computing |
| 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. |
| SAITO Yuichi |
Human-machine systems, cognitive systems science, systems safety and control, human-machine interface and interaction, and risk prediction and avoidance based on data analysis. |
| SAITO Shu | |
|---|---|
| LI Jie |
☆: Laboratories of Cooperative Graduate School
