| Aranha Claus de Castro | Faculty of Engineering, Information and Systems | Assistant Professor | Soft computing, Entertainment and game informatics, Intelligent informatics, Software, Theory of informatics - Evolutionary Computation, Artificial Life, Optimization, Simulation, Procedural Generation |
| Endo Yasunori | Faculty of Engineering, Information and Systems | Professor | Intelligent informatics, Control engineering/System engineering, Theory of informatics - Soft Computing, Fuzzy, Clustering, Risk Analysis, System Model, Functional Analysis |
| Hasebe Koji | Faculty of Engineering, Information and Systems | Associate Professor | Software, Theory of informatics - Mathematical logic, Formal methods, distributed systems, multi-agent systems, game theory, Information security |
| Koga Hiroki | Faculty of Engineering, Information and Systems | Professor | Theory of informatics - Information Theory, Information Security, Data compression |
| Kunihiro Noboru | Faculty of Engineering, Information and Systems | Professor | Theory of informatics, Information security - Cryptography, Public Key Cryptography, Cryptoanalysis, Information Security, Quantum Algorithm |
| Moritsugu Shuichi | Faculty of Library, Information and Media Science | Professor | Theory of informatics - Computer algebra |
| Sanuki Masaru | Faculty of Medicine | Assistant Professor | Foundations of mathematics/Applied mathematics, Educational technology, Theory of informatics - symbolic-numeric computation, symbolic computation, Numerical computation, Educational Informatics, e-learning; tele-medicine, Medical Informatics, Medical Education |
| Terui Akira | Faculty of Pure and Applied Sciences | Associate Professor | Theory of informatics, Software - computer algebra, symbolic-numeric computation, numeric computation, robotics, approximate greatest common divisor, Groebner basis, quantifier elimination, inverse kinematics |
| Unno Hiroshi | Faculty of Engineering, Information and Systems | Associate Professor | Theory of informatics, Software - プログラム検証, 人工知能, プログラミング言語, 形式手法, 自動推論, モデル検査, 型システム, 制約解消, 自動定理証明, プログラム合成 |
