List by research fields(Software)

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