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