ARANHA CLAUS DE CASTRO(アランニャ クラウス デ カステロ) | システム情報系 | 助教 | ソフトウェア, 情報学基礎理論 - 進化論的アルゴリズム, 最適化手法, データ分析, 機械学習, 人工知能 |
海野 広志(ウンノ ヒロシ) | システム情報系 | 准教授 | 情報学基礎理論, ソフトウェア - プログラム検証, 型システム, モデル検査, 自動定理証明, 制約解消 |
遠藤 靖典(エンドウ ヤスノリ) | システム情報系 | 教授 | 知能情報学, 制御・システム工学, 情報学基礎理論 - ソフトコンピューティング, ファジィ, クラスタリング, リスク解析, システムモデル, 関数解析 |
國廣 昇(クニヒロ ノボル) | システム情報系 | 教授 | 情報学基礎理論 - 暗号理論, 公開鍵暗号, 暗号の安全性評価, 情報セキュリティ, 量子アルゴリズム |
古賀 弘樹(コガ ヒロキ) | システム情報系 | 教授 | 情報学基礎理論 - 情報理論, 情報セキュリティ, データ圧縮 |
讃岐 勝(サヌキ マサル) | 医学医療系 | 助教 | 数学基礎・応用数学, 教育工学, 情報学基礎理論 - 数値数式融合計算(近似代数), 数式処理, 数値計算, 教育工学, 遠隔医療教育(e-learning+双方向遠隔教育), 医療情報学, 医学教育 |
照井 章(テルイ アキラ) | 数理物質系 | 准教授 | 情報学基礎理論, ソフトウェア - 計算機代数, 数値計算, 数値・数式融合計算 |
長谷部 浩二(ハセベ コウジ) | システム情報系 | 准教授 | ソフトウェア, 情報学基礎理論 - 数理論理学, 形式手法, 分散システム, マルチエージェントシステム, ゲーム理論, 情報セキュリティ |
森継 修一(モリツグ シユウイチ) | 図書館情報メディア系 | 教授 | 情報学基礎理論 - 数式処理 |