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