検索条件 : 情報社会基盤研究センター  (6 件中 1 - 6 件を表示)
6名が検索されました。氏名をクリックすると教員の詳細情報が表示されます。
No.氏名(フリガナ)学修分野研究領域職名研究キーワード
1 井口 寧
(イノグチ ヤスシ)
情報科学次世代デジタル社会基盤教授超並列, 並列処理, リコンフィギャラブルシステム, e-ラーニング, 計算機システム
2 緒方 和博
(オガタ カズヒロ)
情報科学コンピューティング科学教授,
情報社会基盤研究センター長
検証, 定理証明, 仕様記述, 書き換え, モデル検査
3 宇多 仁
(ウダ サトシ)
情報科学次世代デジタル社会基盤准教授インターネット, 経路制御, トラフィックエンジニアリング, 計算機ネットワーク, ネットワークシステム
4 冨田 尭
(トミタ タカシ)
情報科学次世代デジタル社会基盤准教授ソフトウェア工学, 形式手法, 検証, モデル検査, プログラム合成, テスト生成, リアクティブシステム, モデルベース開発, 車載システム, 形式言語, オートマトン理論, 時間論理, 確率・統計
5 本郷 研太
(ホンゴウ ケンタ )
情報科学サスティナブルイノベーション准教授マテリアルズ・インフォマティクス, 第一原理電子状態計算, 量子モンテカルロ法
6 高野 恵輔
(タカノ ケイスケ)
情報科学次世代デジタル社会基盤助教計算機システム・ネットワーク, リコンフィギャラブルシステム, 高位合成, 並列・分散処理, ニューロモルフィックコンピューティング