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