List by research fields(Software)

NameOfficial titleAffiliationResearch fields - keywords
Abe Hirotake Faculty of Engineering, Information and Systems Associate Professor ソフトウェア - システムソフトウェア、分散システム、コンピュータセキュリティ、コンピュータ・ネットワーク
Aranha Claus de Castro Faculty of Engineering, Information and Systems Assistant Professor 情報学基礎理論, 知能情報学, ソフトコンピューティング, エンタテインメント・ゲーム情報学, ソフトウェア - 最適化, 人工生命, 進化計算, 手続き型生成 , シミュレーション
Hasebe Koji Faculty of Engineering, Information and Systems Associate Professor ソフトウェア, 情報学基礎理論 - 数理論理学, 形式手法, 分散システム, マルチエージェントシステム, ゲーム理論, 情報セキュリティ
Hasegawa Hidehiko Faculty of Library, Information and Media Science Professor ソフトウェア, 計算科学 - データサイエンス, 高精度演算, ハイパフォーマンスコンピューティング, 数値線形代数
KINO Yasunobu Faculty of Business Sciences Associate Professor 社会システム工学・安全システム, 図書館情報学・人文社会情報学, ソフトウェア - ソフトウェア開発, リスク・マネジメント, プロジェクトマネジメント
Kameyama Yukiyoshi Faculty of Engineering, Information and Systems Professor ソフトウェア - プログラム論理, ソフトウェア検証
Kato Kazuhiko University of Tsukuba Executive Director ソフトウェア - 分散システム, 仮想計算環境, 情報セキュリティ, クラウドコンピューティング, オペレーティングシステム
Machida Fumio Faculty of Engineering, Information and Systems Associate Professor 計算機システム, 数理情報学, ソフトウェア - 信頼性, ディペンダビリティ, 確率モデル, 可用性
Mitani Jun Faculty of Engineering, Information and Systems Professor ソフトウェア - コンピュータグラフィックス, ヒューマンインタフェース, 形状モデリング, 折紙
Oyama Yoshihiro Faculty of Engineering, Information and Systems Associate Professor ソフトウェア, 計算機システム, 情報セキュリティ - システムセキュリティ, コンピュータセキュリティ, オペレーティングシステム, 仮想化, システムソフトウェア
Shinjo Yasushi Faculty of Engineering, Information and Systems Associate Professor ソフトウェア, 通信・ネットワーク工学 - オペレーティング・システム, システムソフトウェア, セキュリティ, 分散システム, 並行システム, 仮想システム, 分散型ソーシャル・ネットワーキング・サービス
Takahashi Shin Faculty of Engineering, Information and Systems Associate Professor 知能情報学, ソフトウェア - ユーザーインタフェースソフトウェア, ユビキタスコンピューティング
Terui Akira Faculty of Pure and Applied Sciences Associate Professor 情報学基礎理論, ソフトウェア - 数値・数式融合計算, ロボット工学, 計算機代数, 数値計算, 逆運動学, グレブナー基底, 限量記号消去, 近似最大公約子
Unno Hiroshi Faculty of Engineering, Information and Systems Associate Professor ソフトウェア, 情報学基礎理論 - モデル検査, 型システム, 自動推論, 制約解消, 人工知能, プログラム検証, 形式手法, 自動定理証明, プログラム合成, プログラミング言語