検索条件 : 情報社会基盤研究センター  (6 件中 1 - 6 件を表示)
6名が検索されました。氏名をクリックすると教員の詳細情報が表示されます。
No.氏名(フリガナ)学系領域職名研究キーワード
1 井口 寧
(イノグチ ヤスシ)
情報科学系セキュリティ・ネットワーク教授超並列, 並列処理, リコンフィギャラブルシステム, e-ラーニング, 計算機システム
2 篠田 陽一
(シノダ ヨウイチ)
情報科学系セキュリティ・ネットワーク教授ソフトウエア開発環境, ネットワーク分散情報システム, 情報環境
3 平石 邦彦
(ヒライシ クニヒコ)
情報科学系知識マネジメント教授,
情報社会基盤研究センター長
ハイブリッドシステムに関する研究, 離散事象システム, 特に並行システム, システムの形式的モデル化と解析
4 本郷 研太
(ホンゴウ ケンタ )
情報科学系環境・エネルギー准教授マテリアルズ・インフォマティクス, 第一原理電子状態計算, 量子モンテカルロ法
5 冨田 尭
(トミタ タカシ)
情報科学系セキュリティ・ネットワーク講師形式言語, リアクティブシステム, モデルベース開発, 車載システム, 確率・統計, オートマトン理論, 時間論理, テスト生成, プログラム合成, モデル検査, 検証, 形式手法, ソフトウェア工学
6 宇多 仁
(ウダ サトシ)
情報科学系セキュリティ・ネットワーク助教インターネット, 経路制御, トラフィックエンジニアリング, 計算機ネットワーク, ネットワークシステム