検索条件 : 高信頼IoT社会基盤研究拠点  (9 件中 1 - 9 件を表示)
9名が検索されました。氏名をクリックすると教員の詳細情報が表示されます。
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 冨田 尭
(トミタ タカシ)
情報科学系セキュリティ・ネットワーク助教形式言語, リアクティブシステム, モデルベース開発, 車載システム, 確率・統計, オートマトン理論, 時間論理, テスト生成, プログラム合成, モデル検査, 検証, 形式手法, ソフトウェア工学