TOP Page > Faculty List by Area
Faculty List by Affiliation
Graduate School of Advanced Science and Technology, Department of Advanced Science and Technology
13 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 Anh Van Ho Intelligent Robotics Area School of Materials Science Associate Professor
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 Keita Yokoyama Intelligent Robotics Area School of Information Science Assistant Professor Proof theory, first and second-order arithmetic, reverse mathematics, nonstandard analysis
12 Sungmoon Jeong Intelligent Robotics Area School of Information Science Assistant Professor Vision, Emotion, Learning, Interaction and Neuro-robotics
13 Takako Nemoto Intelligent Robotics Area School of Information Science Assistant Professor Reverse Mathematics, Intuitionistic Logic, Constructive Mathematics