研究分野別一覧(ソフトウェア)

名前所属職名研究分野 - キーワード
阿部 洋丈(アベ ヒロタケ) システム情報系 准教授 ソフトウェア - システムソフトウェア、分散システム、コンピュータセキュリティ、コンピュータ・ネットワーク
ARANHA CLAUS DE CASTRO(アランニャ クラウス デ カステロ) システム情報系 助教 情報学基礎理論, 知能情報学, ソフトコンピューティング, エンタテインメント・ゲーム情報学, ソフトウェア - 最適化, 人工生命, 進化計算, 手続き型生成 , シミュレーション
海野 広志(ウンノ ヒロシ) システム情報系 准教授 ソフトウェア, 情報学基礎理論 - モデル検査, 型システム, 自動推論, 制約解消, 人工知能, プログラム検証, 形式手法, 自動定理証明, プログラム合成, プログラミング言語
大山 恵弘(オオヤマ ヨシヒロ) システム情報系 准教授 ソフトウェア, 計算機システム, 情報セキュリティ - システムセキュリティ, コンピュータセキュリティ, オペレーティングシステム, 仮想化, システムソフトウェア
加藤 和彦(カトウ カズヒコ) 筑波大学 理事 ソフトウェア - 分散システム, 仮想計算環境, 情報セキュリティ, クラウドコンピューティング, オペレーティングシステム
亀山 幸義(カメヤマ ユキヨシ) システム情報系 教授 ソフトウェア - プログラム論理, ソフトウェア検証
木野 泰伸(キノ ヤスノブ) ビジネスサイエンス系 准教授 社会システム工学・安全システム, 図書館情報学・人文社会情報学, ソフトウェア - ソフトウェア開発, リスク・マネジメント, プロジェクトマネジメント
新城 靖(シンジヨウ ヤスシ) システム情報系 准教授 ソフトウェア, 通信・ネットワーク工学 - オペレーティング・システム, システムソフトウェア, セキュリティ, 分散システム, 並行システム, 仮想システム, 分散型ソーシャル・ネットワーキング・サービス
高橋 伸(タカハシ シン) システム情報系 准教授 知能情報学, ソフトウェア - ヒューマンコンピュータインタラクション, ユーザーインタフェースソフトウェア, ユビキタスコンピューティング
照井 章(テルイ アキラ) 数理物質系 准教授 情報学基礎理論, ソフトウェア - 数値・数式融合計算, ロボット工学, 計算機代数, 数値計算, 逆運動学, グレブナー基底, 限量記号消去, 近似最大公約子
長谷川 秀彦(ハセガワ ヒデヒコ) 図書館情報メディア系 教授 ソフトウェア, 計算科学 - データサイエンス, 高精度演算, ハイパフォーマンスコンピューティング, 数値線形代数
長谷部 浩二(ハセベ コウジ) システム情報系 准教授 ソフトウェア, 情報学基礎理論 - 数理論理学, 形式手法, 分散システム, マルチエージェントシステム, ゲーム理論, 情報セキュリティ
町田 文雄(マチダ フミオ) システム情報系 准教授 計算機システム, 数理情報学, ソフトウェア - 信頼性, ディペンダビリティ, 確率モデル, 可用性
三谷 純(ミタニ ジュン) システム情報系 教授 ソフトウェア - コンピュータグラフィックス, ヒューマンインタフェース, 形状モデリング, 折紙