Aranha Claus de Castro | Faculty of Engineering, Information and Systems | Assistant Professor | Software, Theory of informatics - Evolutionary Algorithms, Optimization Techniques, Data Analysis, Machine Learning, Artificial Intelligence |
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 - 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, numeric computation, symbolic-numeric computation |
Unno Hiroshi | Faculty of Engineering, Information and Systems | Associate Professor | Theory of informatics, Software - プログラム検証, 人工知能, プログラミング言語, 形式手法, 自動推論, モデル検査, 型システム, 制約解消, 自動定理証明, プログラム合成 |