List by research fields(Theory of informatics)

NameAffiliationOfficial titleResearch fields - keywords
Aranha Claus de Castro Institute of Systems and Information Engineering Assistant Professor 情報学基礎理論, 知能情報学, ソフトコンピューティング, エンタテインメント・ゲーム情報学, ソフトウェア - 最適化, 人工生命, 進化計算, 手続き型生成 , シミュレーション
Hasebe Koji Institute of Systems and Information Engineering Associate Professor ソフトウェア, 情報学基礎理論 - 形式手法, 分散システム, マルチエージェントシステム, ゲーム理論, 数理論理学, 情報セキュリティ
Terui Akira Institute of Pure and Applied Sciences Associate Professor 情報学基礎理論, ソフトウェア - 数値・数式融合計算, ロボット工学, 計算機代数, 数値計算, 逆運動学, グレブナー基底, 限量記号消去, 近似最大公約子
Unno Hiroshi Institute of Systems and Information Engineering Associate Professor ソフトウェア, 情報学基礎理論 - モデル検査, 型システム, 自動推論, 制約解消, 人工知能, プログラム検証, 形式手法, 自動定理証明, プログラム合成, プログラミング言語
Endo Yasunori Institute of Systems and Information Engineering Professor 知能情報学, 制御・システム工学, 情報学基礎理論 - ソフトコンピューティング, ファジィ, クラスタリング, リスク解析, システムモデル, 関数解析
Koga Hiroki Institute of Systems and Information Engineering Professor 情報学基礎理論 - 情報理論, 情報セキュリティ, データ圧縮
Kunihiro Noboru Institute of Systems and Information Engineering Professor 情報学基礎理論, 情報セキュリティ - 暗号の安全性評価, 公開鍵暗号, 暗号理論, 情報セキュリティ, 量子アルゴリズム
Moritsugu Shuichi Institute of Library, Information and Media Science Professor 情報学基礎理論 - 数式処理