| No. | 氏名(フリガナ) | 学系 | 領域 | 職名 | 研究キーワード |
| 1 |
青木 利晃
(アオキ トシアキ)
| 融合科学系,
情報科学系 | セキュリティ・ネットワーク | 教授 | 形式手法, 形式検証, 車載システム, ソフトウェアテスト, ソフトウェア工学, モデル検査, 定理証明, 形式仕様 |
| 2 |
篠田 陽一
(シノダ ヨウイチ)
| 情報科学系 | セキュリティ・ネットワーク | 教授 | ソフトウエア開発環境, ネットワーク分散情報システム, 情報環境 |
| 3 |
丹 康雄
(タン ヤスオ)
| 情報科学系 | セキュリティ・ネットワーク | 教授,
高信頼ＩｏＴ社会基盤研究拠点長 | ホームネットワーク, 情報家電, 計算機システム, 計算機ネットワーク, ユビキタスコンピューティング |
| 4 |
大西 祥浩
(オオニシ ヨシヒロ)
| 情報科学系 | セキュリティ・ネットワーク | 特任教授 | |
| 5 |
リム 勇仁
(リム ユウト)
| 情報科学系 | セキュリティ・ネットワーク | 准教授 | 実証実験, 電力制御, ヘテロジニアス, 無線通信, センサネットワーク |
| 6 |
知念 賢一
(チネン ケンイチ)
| 情報科学系 | セキュリティ・ネットワーク | 特任准教授 | 広域情報配送, ネットワークトポロジ, サーバプログラミング, サーバクラスタリング, 先読み, キャッシング, コンテンツ同期, 負荷分散, 負荷予測 |
| 7 |
BEURAN, Razvan Florin
(ベウラン ラズバン フローリン)
| 情報科学系 | セキュリティ・ネットワーク | 特任准教授 | エミュレーション, サイバーレンジ, サイバー演習 |
| 8 |
冨田 尭
(トミタ タカシ)
| 情報科学系 | セキュリティ・ネットワーク | 講師 | 形式言語, リアクティブシステム, モデルベース開発, 車載システム, 確率・統計, オートマトン理論, 時間論理, テスト生成, プログラム合成, モデル検査, 検証, 形式手法, ソフトウェア工学 |
| 9 |
JAVAID, Saher
(ジャヴイッド サハル)
| 情報科学系 | セキュリティ・ネットワーク | 助教 | Stability Control, Power Control, Energy on Demand, Power Flow Coloring, Energy Management Systems |