List by research fields(Theory of informatics)

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