検索条件 : セキュリティ・ネットワーク  (23 件中 1 - 20 件を表示)
23名が検索されました。氏名をクリックすると教員の詳細情報が表示されます。
<< < 1 2 > >>
No.氏名(フリガナ)学系領域職名研究キーワード
1 青木 利晃
(アオキ トシアキ)
融合科学系,
情報科学系
セキュリティ・ネットワーク教授形式手法, 形式検証, 車載システム, ソフトウェアテスト, ソフトウェア工学, モデル検査, 定理証明, 形式仕様
2 井口 寧
(イノグチ ヤスシ)
情報科学系セキュリティ・ネットワーク教授超並列, 並列処理, 計算機システム, リコンフィギャラブルシステム, e-ラーニング
3 金子 峰雄
(カネコ ミネオ)
情報科学系セキュリティ・ネットワーク教授,
セキュリティ・ネットワーク領域長
集積回路, 電子回路, 回路理論, CAD, 最適化, アルゴリズム
4 KURKOSKI, Brian Michael
(クルカスキー ブライアン マイケル)
情報科学系セキュリティ・ネットワーク教授ディジタル記録のための符号化, 符号理論, 情報理論
5 篠田 陽一
(シノダ ヨウイチ)
情報科学系セキュリティ・ネットワーク教授ソフトウエア開発環境, ネットワーク分散情報システム, 情報環境
6 田中 清史
(タナカ キヨフミ)
情報科学系セキュリティ・ネットワーク教授プロセッサアーキテクチャ, 並列計算機, リアルタイムシステム, 組込みシステム, 高機能アーキテクチャ
7 丹 康雄
(タン ヤスオ)
情報科学系セキュリティ・ネットワーク教授スマートホーム, IoT, ホームネットワーク, 情報家電, 計算機システム, 計算機ネットワーク, ユビキタスコンピューティング
8 藤﨑 英一郎
(フジサキ エイイチロウ)
情報科学系セキュリティ・ネットワーク教授暗号理論, ネットワークセキュリティ, 情報セキュリティ
9 松本 正
(マツモト タダシ)
情報科学系セキュリティ・ネットワーク教授相互情報量伝達チャート, ネットワーク情報理論, ターボ等化, ターボ符号
10 宮地 充子
(ミヤジ アツコ)
情報科学系セキュリティ・ネットワーク教授プライバシー, IoT, 数論アルゴリズム, 情報セキュリティ
11 大西 祥浩
(オオニシ ヨシヒロ)
情報科学系セキュリティ・ネットワーク特任教授 
12 石井 大輔
(イシイ ダイスケ)
情報科学系セキュリティ・ネットワーク准教授ハイブリッドシステム, 制約プログラミング, 区間解析
13 鈴木 正人
(スズキ マサト)
情報科学系セキュリティ・ネットワーク准教授ソフトウェア工学, ソフトウェアアーキテクチャ/コンポーネント, ソフトウェア開発支援環境(ツール), プログラム理解支援
14 リム 勇仁
(リム ユウト)
情報科学系セキュリティ・ネットワーク准教授予測制御, ネットワークコーディング, 進化型多目的最適化, ゲーム理論, スマートエネルギー配分, スマートホーム, 無線通信, サイバーフィジカルシステム
15 知念 賢一
(チネン ケンイチ)
情報科学系セキュリティ・ネットワーク特任准教授ネットワークトポロジ, サーバプログラミング, サーバクラスタリング, 先読み, キャッシング, コンテンツ同期, 負荷分散, 負荷予測, 広域情報配送
16 BEURAN, Razvan Florin
(ベウラン ラズバン フローリン)
情報科学系セキュリティ・ネットワーク特任准教授エミュレーション, サイバーレンジ, サイバー演習
17 冨田 尭
(トミタ タカシ)
情報科学系セキュリティ・ネットワーク講師形式言語, リアクティブシステム, モデルベース開発, 車載システム, 確率・統計, オートマトン理論, 時間論理, テスト生成, プログラム合成, モデル検査, 検証, 形式手法, ソフトウェア工学
18 宇多 仁
(ウダ サトシ)
情報科学系セキュリティ・ネットワーク助教インターネット, 経路制御, トラフィックエンジニアリング, 計算機ネットワーク, ネットワークシステム
19 WANG, Yuntao
(オウ イントウ)
情報科学系セキュリティ・ネットワーク助教暗号理論、公開鍵暗号、耐量子暗号、格子暗号、数論アルゴリズム
20 河井 達治
(カワイ タツジ)
情報科学系セキュリティ・ネットワーク助教 
<< < 1 2 > >>