Faculties

Faculty List

*: Professors Who Can Become Supervisors of Graduate Students
☆: Adjunctive Professors of Cooperative Graduate School

Information Mathematics and Modeling

*KAWABE
Tohru
Control design: Theory and Applications in Robust control, Receding horizon control, hybrid system, Brain machine interface, etc.
*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), 3D reconstruction of chromosome structure.
*FUTAMURA
Yasunori
Parallel algorithms for large-scale matrix computations, High-performance graph algorithms, Dimensionality reduction, Distributed parallel numerical software.
TOKUDA
Keita
Dynamical systems, Neural networks, Chaos, Machine learning, Learning and memory, Hippocampus, Biomarker, Central nervous system disease
MORIKUNI
Keiichi
Numerical linear algebra, Matrix analysis, Numerical algorithms.
BOGDANOVA
Anna
Machine Learning, Distributed Data Analysis, Privacy, Interpretability
NGUYEN
Dai
Hai
Machine Learning, Bioinformatics.

Intelligent Software

*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: Interaction design, sensing technique, input recognition, user model.
*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, software development process, global software engineering, human computer interaction, cross-cultural communication.
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.

Software System

*AMAGASA
Toshiyuki
Database system, data engineering: big data, data mining, and scientific database.
KATO
Kazuhiko
System software: Operating systems, distributed systems, virtual machines, information security.
*KITAGAWA
Hiroyuki
Database systems and data engineering : Information integration, data mining, sleep data analysis, big data, stream processing.
*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
Query processing algorithm and its applications.
*SHINJO
Yasushi
Operating systems, distributed systems, virtualization, concurrent processing, distributed social networking services.
*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.
*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
Software reliability, dependability evaluation, stochastic models, system design optimization.
*HAYASE
Yasuhiro
Software Engineering : Program comprehension, software repository mining, software maintenance.
BOU
Savong
Database system, data engineering, scientific database, XML/RDF Database.
HORIE
Kazumasa
Machine Learning, Deep Neural Network, Biological Signal Processing.

Computer Architecture

*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.
*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, GPU-FPGA Cooperative Computation
*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

Media Engineering

*KAMEYAMA
Keisuke
Pattern Recognition, Neural Networks, Learning, Signal/Image Processing, and Adaptive Information Processing.
*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.
*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: Sparse transforms, graph signal processing, deep learning, image/video processing, compression coding, perceptual security.
*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, data mining, machine learning, deep learning

Intelligent System

*KUNIHIRO
Noboru
Cryptography, Information Security, Quantum Computation, Cryptanalysis, Cryptographic Protocol.
*KOBAYASHI
Takumi

AIST
Statistical pattern recognition and machine learning : Deep learning, Feature extraction and representation, Image classification, Video classification, Multidimensional sensor data analysis.
*SAKAI
Ko
Computational Vision: Perception of surface and 3D structure, Nonlinear analysis of cortical neurons, Cortical representation of objects, Attention, Psychophysics.
*SAKUMA
Jun
Highly Reliable AI: Machine Learning, Artificial Intelligence, AI Security & Privacy, explainable AI.
*SATO
Yutaka☆
Computer Vision Systems: Intelligent image processing, Next-generation image sensing systems, etc.
*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
*IIZUKA
Satoshi
Computer graphics, image processing, image editing, computer vision, machine learning
*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.
*ARANHA
Claus
Study of Artificial Intelligence, Machine Learning and Evolutionary Computation. Applications for Optimization, Bioinformatics and Gaming. Parallelization of Machine Learning Algorithms.
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

Observers

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.

Visiting Professors

SAITO Shu
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.
LI Jie
BABA
Yukino
human computation, crowdsourcing, collective intelligence, machine learning, data mining

List of Research Groups

☆: Laboratories of Cooperative Graduate School

Information Mathematics and Modeling

Intelligent Software

Software System & Computer Architecture

Media Engineering & Intelligent System