TOP Page > Faculty List by Area
Faculty List by Affiliation
Graduate School of Advanced Science and Technology, Department of Advanced Science and Technology
15 faculty members found.
Click on a name for details.

No. Name Area School Job title Research Keywords
1 Chong Nak-Young Intelligent Robotics Area School of Information Science Professor Intelligent Robots
2 Hajime Ishihara Intelligent Robotics Area School of Information Science Professor constructive mathematics, intuitionistic logic, reverse mathematics, constructive set theory
3 Kazuhiro Ogata Intelligent Robotics Area School of Information Science Professor model checking, rewriting, specification, theorem proving, verification
4 Mizuhito Ogawa Intelligent Robotics Area School of Information Science Professor verification, analysis, theorem proving, model checking, combinatorics, rewriting, formal language.
5 Satoshi Tojo Intelligent Robotics Area School of Information Science Professor
6 Tachio Terauchi Intelligent Robotics Area School of Information Science Professor Programming Languages, Type Systems, Software Model Checking, Automated Deduction, Computer Security
7 Kokichi Futatsugi Intelligent Robotics Area School of Information Science Research Professor formal methods, specification/design language, systems verification, software engineering
8 Fumihiko Asano Intelligent Robotics Area School of Information Science Associate Professor Dynamical system theory, Dynamics of machinery, Control engineering, Passivity, Legged robots
9 Minh Le Nguyen Intelligent Robotics Area School of Information Science Associate Professor
10 Nao Hirokawa Intelligent Robotics Area School of Information Science Associate Professor term rewriting, termination, confluence, and complexity analysis
11 Daniel Mircea Gaina Intelligent Robotics Area School of Information Science Assistant Professor
12 Francois Pierre Andre Bonnet Intelligent Robotics Area School of Information Science Assistant Professor Distributed Algorithms, Distributed Computability, Robot Computing
13 Keita Yokoyama Intelligent Robotics Area School of Information Science Assistant Professor Proof theory, first and second-order arithmetic, reverse mathematics, nonstandard analysis
14 Sungmoon Jeong Intelligent Robotics Area School of Information Science Assistant Professor Computational Vision, Pattern Recognition, Cognitive Robotics
15 Takako Nemoto Intelligent Robotics Area School of Information Science Assistant Professor Reverse Mathematics, Intuitionistic Logic, Constructive Mathematics