[Faculties] List of faculties | List of research groups | Research project
List of faculties
| Information Mathematics and Modeling | |
|---|---|
| Takashi Kitagawa | Numerical analysis : Numerical algorithms for inverse and illposed problems. Mathematical model of meaning and multimedia information system. |
| Takahito Kuno | Mathematical programming : Numerical algorithms for globally solving nonconvex optimization problems. |
| Tetsuya Sakurai | Numerical analysis : Numerical algorithms and their applications, validated computations, mathematical software. |
| Ryuji Tokunaga | Chaos, fractals and bifurcation theory. Computer amusement oriented elementary technologies. |
| Takayuki Mizuno | Econophysics, complex networks, time series analysis. |
| Tohru Kawabe | Control design: Theory and Applications in Robust control, Receding horizon control, hybrid system, Brain machine interface, etc. |
| James Cole | Numerical solution of problems in applied physics and electrical engineering. Development of high accuracy numerical algorithms for parallel computers and data visualization. |
| DongSheng Cai | Multimedia using artificial life theory. High performance computing and parallel computing for space simulation. Imaging using chaos and fractals. |
| Intelligent Software | |
| Tetsuo Ida | Programming and symbolic computation : Computation models, term rewriting, constraint solving, compilers and programming methodology. |
| Yukiyoshi Kameyama | Foundation of software science : Theoretical study on programming languages using type theory and logic, its application to software verification. |
| Jiro Tanaka | Ubiquitous computing, interactive software, Web interface, computer-human interaction, visual languages, script languages and software engineering. |
| Akihisa Ohya | Intelligent robots and sensing : Mobile robots working in humans' daily life environment, real world sensory information processing, networked robotics, cooperative multiple mobile robots. |
| Shin Takahashi | User interface software. Ubiquitous computing. |
| Kazuo Misue | Information visualization: visual interface, visual analytics, network visualization, graph drawing. |
| Yasuhiko Minamide | Theory and implementation of programming languages : Compilers, type systems, functional programming. |
| Buntarou Shizuki | Human-computer interaction : Visual programming and interaction techniques for end users. |
| Tetsuya Mizutani | Program theory and musical informatics : Logical foundation of verification and analysis of realtime intellectual program systems and musical information. |
| Software System | |
| Kazuhiko Kato | System software: Operating systems, distributed systems, virtual machines, information security. |
| Hiroyuki Kitagawa | Database systems and data engineering : Information integration, WWW and DB, XML databases, multimedia databases, and DBMS architecture. |
| Jie Li | Distributed / Parallel computer systems, mobile / multimedia computing, computing networks, modeling and performance evaluation, reliability. |
| Toshiyuki Amagasa | Database Systems, Data Engineering: XML Data Engineering, Databases, Databases in e-Science Applications |
| Shuichi Oikawa | Operating Systems, System Software for Real-Time and Embedded Systems, Parallel and Distributed Computing. |
| Yasushi Shinjo | Operating systems, distributed systems, virtualization, concurrent processing, social networking services. |
| Tomohiro Haraikawa | Networked appliances, embedded system, accessibility. |
| Atusi Maeda | Implementation of programming languages, garbage collection, runtime system, resource management. |
| Hideyuki Kawashima | Database systems, DBMS architecture, sensor networks, data streams. |
| Hanxiong Chen | Database system, knowledge-base system, e-education, information retrieval, knowledge discovery and data mining. |
| Tetsuji Hirayama | Modeling and analysis of stochastic systems. Performance evaluation of computer and communication systems. |
| Kazutaka Furuse | Database systems, information retrieval, and data engineering. |
| Akiyoshi Sugiki | System software, Distributed systems, operating systems, and server management. |
| Koji Hasebe | Applications of logic to computer science : Formal methods, distributed systems, multi-agent systems, game theory. |
| Yasuhiro Hayase | Software Engineering : Program comprehension, software repository mining, software maintenance. |
| Computer Architecture | |
| Kozo Itano | Research on the design of language processors of various programming languages, language oriented computer architectures, hardware design methodology, operating systems and distributed processing systems. |
| Yoshihiko Ebihara | Communication systems engineering : Intelligent distributed processing and computer networks architecture. |
| Yuetsu Kodama | Parallel computer architecture, reconfigurable system, fat long distance network, low power architecture. |
| Mitsuhisa Sato | High-performance parallel computing systems : Cluster computing, parallel programming systems such as OpenMP and HPF, benchmarking and performance evaluation of parallel computing systems, parallel and distributed computing on Grid. |
| Hiroaki Nishikawa | Hyper-distributed system and specification environment : Hyper parallel distributed processing scheme based on data driven paradigm and its multilateral specification environment. |
| Taisuke Boku | Massively parallel and high performance computing systems : Massively parallel processing system architecture, cluster computing and its system software, performance evaluation in high performance computing. |
| Moritoshi Yasunaga | VLSI engineering : VLSI design and implementation of parallel and distributed systems and evolutionary systems. |
| Yoshinori Yamaguchi | Interactive architecture : Research on parallel computer architecture, parallel execution model, distributed systems, high-speed packet processing, reconfigurable systems and real-time processing. |
| Koichi Wada | Parallel / distributed processing and computer architecture : Parallel computer architecture. Parallel and distributed processing system including parallel programming language processors and applications. |
| Shigetomo Kimura | Information communication engineering : Process algebra, network protocols and performance evaluation of communication systems. |
| Kazuhiro Shouno | Analog integrated circuit and circuit theory : Highly linearized CMOS transconductors and complex filters. |
| Daisuke Takahashi | High-performance computing : High-performance numerical algorithms on parallel computers and performance evaluation. |
| Osamu Tatebe | High Performance Computing System: Grid computing, Cloud computing, Parallel and distributed system, distributed file system. |
| Akira Sato | Design and operation technology for academic network systems, information systems and computing systems. |
| Hiroshi Tomiyasu | Making better use of significantly progressing microprocessors for parallel computer architecture after Age of vector supercomputers and massively parallel computers. |
| Yoshiki Yamaguchi | VLSI Engineering : Reconfigurable LSI and its applications including parallel and distributed systems, complex adaptive systems and bio-informatics. |
| Hiroto Tadano | Numerical analysis: Numerical algorithms for large scale linear systems. Parallel computing for eigenvalue problems. |
| Media Engineering | |
| Hiroyuki Kudo | Image processing and medical imaging : Image and video processing, medical imaging (CT,PET,MRI) and computer-aided-diagnosis, intelligent image sensing, music and sound processing, mathematics of inverse problems. |
| Yukio Fukui | Human modeling and interface design technology: Extraction of anatomical landmarks with FFD method, 3D information extraction from endoscope images, non-grounded portable haptic device, etc. |
| Shoji Makino | 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. |
| Keisuke Kameyama | Learning, adaptive information processing, signal / image encoding, and applications to retrieval and restoration. |
| Hotaka Takizawa | Intelligent image processing: medical image recognition, computer-aided diagnosis, computer vision, 3-D object recognition. |
| Jun Mitani | Geometric modeling, Computer graphics and CAD : Interface for modeling, non-photo realistic rendering and unfolding to 2D plane. |
| Takeshi Yamada | Speech recognition, sound scene understanding, multi-channel signal processing, media quality assessment. |
| Tomasz Maciej RUTKOWSKI | Computational auditory neuroscience. Brain- and human-computer interfacing. Multisensory brain responses and media design. Data-driven multichannel brain and biomedical signal separation or decomposition. |
| Yoshihiro Kanamori | Computer graphics: real-time rendering, visual simulations and geometric modeling. |
| Shigeki Miyabe | Media engineering, speech signal processing, audio signal processing, source separation, 3-D sound field reproduction. |
| Intelligent System | |
| Ko Sakai | Computational vision : Early-to-intermediate-level vision, perception of 3D structure from various cues, nonlinear analysis of cortical network models, and psychophysical experiments. |
| Yuzo Hirai | Neural networks : Visual information processing, pattern recognition, learning networks, modeling conceptual memories. |
| Mikio Yamamoto | Natural Language Processing on the Web using statistical methods: Statistical machine translation and Web documents processing such as sentiment analysis. |
| Hitoshi Kanoh | Genetic algorithm, artificial life, evolutionary computation, knowledge system and knowledge representation. |
| Jun Sakuma | Machine learning and knowledge discovery: data mining, statistical learning, reinforcement learning, genetic algorithm, knowledge discovery from personal information, privacy-preserving data mining. |
| Kazuhiro Fukui | Pattern recognition and computer vision : Face recognition, 3D object recognition, human sensing, robot vision. |
| Takashi Inui | Natural language processing: Information extraction and knowledge acquisition from natural language data, web-based information processing. |
| Adjunctive Professors of Cooperative Graduate School | |
|---|---|
| Motoyuki
Akamatsu National Inst. of AIST |
Analysis and modeling of human behavior and cognition, measurement of human behavior, ergonomic evaluation of computer input device. |
| Katsuhiko
Sakaue National Inst. of AIST |
Algorithms and systems for machine vision and its application to the real world environment. |
| Hidemoto Nakada National Inst. of AIST |
Parallel computing, distributed computing, grid, cloud. |
| Tetsuya Higuchi National Inst. of AIST |
Research on adaptive and evolvable hardware / system using evolutionary computation and neural network : Genetic algorithms, LSI, reconfigurable hardware device. |
| Yutaka Satoh National Inst. of AIST |
Ubiquitous vision, Robot vision, Stereo omni-directional system (SOS). |
| Yusuke Tanimura National Inst. of AIST |
Parallel and distributed storage. Large-scale data processing. Cloud computing. Grid computing. E-science applications. |
| Professors of "The practical software development specialization program for advanced IT personnel training" | |
|---|---|
| Kenya Nakazawa | Practicing information processing education, IT engineer's career design, software engineering. |
| Shoso Yamato | Quantitative project assessment model and its application, PMO actions for project maturity model. |
| Observers | |
|---|---|
| Makoto Itoh | 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. |
| Toshiyuki Inagaki | Human machine symbiosis: design of human interaction with smart machines, adaptive automation, risk perception, reliability and safety of human-machine systems, reasoning and decision making with incomplete information. |
| Shuji Sannomiya | Autonomous, parallel, and distributed processor architecture: Research on data-driven chip-multi-processor based on self-timed elastic pipeline. |
| Simona Vasilache | Software engineering, formal methods, human-computer interaction. |
| Eiji Okamoto | Information security: cryptography and authentication techniques, information security infrastructure, system/software/content protection mechanisms against non-authorized access, intruders and other threats. |
| Kazuki Katagishi | New generation network, modern information theory. |
| Akira Kanaoka | |
| Toshihiro Hanawa | |
| Jean-Luc Beuchat | Computer arithmetic, cryptography. |
| Hiroshi Furukawa | Cognitive interface: human interface designs for human-machine collaboration, mental models in dynamic environment. |
| Chiharu Hosono | Computer science. |
| Nobuhito Yamamoto | Computer science. |
