| No. | 氏名(フリガナ) | 学修分野 | 研究領域 | 職名 | 研究キーワード |
| 1 |
井口 寧
(イノグチ ヤスシ)
| 情報科学 | 次世代デジタル社会基盤 | 教授 | 超並列, 並列処理, リコンフィギャラブルシステム, e-ラーニング, 計算機システム |
| 2 |
緒方 和博
(オガタ カズヒロ)
| 情報科学 | コンピューティング科学 | 教授,
情報社会基盤研究センター長 | 検証, 定理証明, 仕様記述, 書き換え, モデル検査 |
| 3 |
篠田 陽一
(シノダ ヨウイチ)
| 情報科学 | 次世代デジタル社会基盤 | 教授 | ソフトウエア開発環境, ネットワーク分散情報システム, 情報環境 |
| 4 |
冨田 尭
(トミタ タカシ)
| 情報科学 | 次世代デジタル社会基盤 | 准教授 | ソフトウェア工学, 形式手法, 検証, モデル検査, プログラム合成, テスト生成, リアクティブシステム, モデルベース開発, 車載システム, 形式言語, オートマトン理論, 時間論理, 確率・統計 |
| 5 |
本郷 研太
(ホンゴウ ケンタ )
| 情報科学 | サスティナブルイノベーション | 准教授 | マテリアルズ・インフォマティクス, 第一原理電子状態計算, 量子モンテカルロ法 |