No. | 氏名(フリガナ) | 学修分野 | 研究領域 | 職名 | 研究キーワード |
1 |
青木 利晃 (アオキ トシアキ)
| 融合科学, 情報科学 | 次世代デジタル社会基盤 | 教授 | 形式手法, 形式検証, 車載システム, ソフトウェアテスト, ソフトウェア工学, モデル検査, 定理証明, 形式仕様 |
2 |
井口 寧 (イノグチ ヤスシ)
| 情報科学 | 次世代デジタル社会基盤 | 教授 | 超並列, 並列処理, リコンフィギャラブルシステム, e-ラーニング, 計算機システム |
3 |
篠田 陽一 (シノダ ヨウイチ)
| 情報科学 | 次世代デジタル社会基盤 | 教授 | ソフトウエア開発環境, ネットワーク分散情報システム, 情報環境 |
4 |
田中 清史 (タナカ キヨフミ)
| 情報科学 | 次世代デジタル社会基盤 | 教授, 次世代デジタル社会基盤研究領域長 | プロセッサアーキテクチャ, 並列計算機, リアルタイムシステム, 組込みシステム, 高機能アーキテクチャ |
5 |
丹 康雄 (タン ヤスオ)
| 情報科学 | 次世代デジタル社会基盤 | 教授 | スマートホーム, IoT, ホームネットワーク, 情報家電, 計算機システム, 計算機ネットワーク, ユビキタスコンピューティング |
6 |
石井 大輔 (イシイ ダイスケ)
| 情報科学 | 次世代デジタル社会基盤 | 准教授 | 区間解析, 制約プログラミング, ハイブリッドシステム |
7 |
宇多 仁 (ウダ サトシ)
| 情報科学 | 次世代デジタル社会基盤 | 准教授 | インターネット, 経路制御, トラフィックエンジニアリング, 計算機ネットワーク, ネットワークシステム |
8 |
鈴木 正人 (スズキ マサト)
| 情報科学 | 次世代デジタル社会基盤 | 准教授 | ソフトウェアアーキテクチャ/コンポーネント, ソフトウェア開発支援環境(ツール), プログラム理解支援, ソフトウェア工学 |
9 |
冨田 尭 (トミタ タカシ)
| 情報科学 | 次世代デジタル社会基盤 | 准教授 | ソフトウェア工学, 形式手法, 検証, モデル検査, プログラム合成, テスト生成, リアクティブシステム, モデルベース開発, 車載システム, 形式言語, オートマトン理論, 時間論理, 確率・統計 |
10 |
BEURAN, Razvan Florin (ベウラン ラズバン フローリン)
| 情報科学 | 次世代デジタル社会基盤 | 准教授 | Cybersecurity, Networking |
11 |
リム 勇仁 (リム ユウト)
| 情報科学 | 次世代デジタル社会基盤 | 准教授 | ネットワーク エミュレーション, 予測制御, ネットワークコーディング, ネットワーク情報理論, ネットワークソフトウェア化, ゲーム理論, スマートエネルギー配分, スマートホーム, サイバーフィジカルシステム, 無線通信, 光無線通信, 量子通信 |
12 |
HE, Cuiwei (ホ ツイウェイ)
| 情報科学 | 次世代デジタル社会基盤 | 講師 | Wireless Communications, Visible Light Communications, Optical Wireless Communications |
13 |
JAVAID, Saher (ジャヴイッド サハル)
| 情報科学 | 次世代デジタル社会基盤 | 助教 | Power Flow Control, Distributed Energy Resources, Power Control, Energy on Demand, Power Flow Coloring, Energy Management Systems |
14 |
RIVIERE, Peter Bernard (リヴィエール ピーター ベルナール)
| 情報科学 | 次世代デジタル社会基盤 | 特任助教 | |
15 |
LIN, Pengfei (リン ホウヒ)
| 情報科学 | 次世代デジタル社会基盤 | 特任助教 | |