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.
*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

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.
*MISUE
Kazuo
Information visualization: visual interface, visual analytics, network visualization, graph drawing.
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.
UNNO
Hiroshi
Program verification : model checking, type systems, program analysis, automated theorem proving.

Software System

*OIKAWA
Shuichi
Operating Systems, System Software for Real-Time and Embedded Systems, Parallel and Distributed Computing.
*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.
*AMAGASA
Toshiyuki
Database system, data engineering: XML/RDF Database, social media, and scientific database.
*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.
*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.
SHIOKAWA
Hiroaki
Database systems and data engineering: Large-scale data analysis, Data mining, and Graph databases.
TSUGAWA
Sho
Network mining: Social network analysis, data mining in large-scale online communities, and design of network services utilizing social networks.
HASHIMOTO
Yasuhiro
Exploration of a new kind of humanity through modern technologies based on social media analysis, network analysis, and information visualization.
HASEBE
Koji
Applications of logic to computer science : Formal methods, distributed systems, multi-agent systems, game theory.
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.

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

Media Engineering

*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.
*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.
KANAMORI
Yoshihiro
Computer graphics: real-time rendering, visual simulation and geometric modeling, Non-Photorealistic Rendering.
SUZUKI
Taizo
Media signal processing: Image and video processing, source coding, filter banks/wavelets.

Intelligent System

*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.

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.

List of Research Groups

☆: Laboratories of Cooperative Graduate School

Information Mathematics and Modeling

Intelligent Software

Software System & Computer Architecture

Media Engineering & Intelligent System