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