PCサイトを見る

領域・組織

 すべての科学技術の発展の裏には、計算機システムとネットワーク、すなわちICT (Information and Communications Technology:情報通信技術)の大幅な進歩があります。また、ICT投資が企業業績と密接な関係があることも判明し、我が国の成長戦略の中心に位置づけられるようになってきました。こうした動きは、今後、日常生活の基盤が「スマート社会基盤」となりICTシステムへの依存度を増すにつれ、ますます進むものと思われます。本領域では、ICTシステムの根幹となる基盤技術の教育研究を推進しており、人材育成や学術的な成果はもとより、産業界への貢献、標準化活動、政府の政策決定に至るまで幅広く社会に貢献しています。

キーワード

スマートシティ、サイバーセキュリティ、IoT、インターネット、情報システム、組込みシステム、ソフトウェアエンジニアリング、次世代ワイヤレス通信、超LSI設計法、情報理論

教育研究の方針

 本領域は計算機のハードウェアやソフトウェア、ネットワークおよびセキュリティといった情報工学の根幹となる分野を対象に教育研究を行っており、流行に左右されることのない確かな理論と技術、方法論を身につけた学生を育成しています。本領域の研究では幅広い知識が必要とされますが、いずれも時代を超えてその必要性が認められてきた理論や技術であり、今後の新たなICTシステムを開発していく上でも必要なものといえます。また、Project Based Learning等、演習にも力を入れており、実践力の育成も図っています。

研究室一覧

青木研究室

青木 利晃

社会を支える重要システムの
安全性・信頼性を最先端の科学で実現する

キーワード

モデル検査、定理証明、形式仕様記述、組込みシステム、車載システム、産業応用

詳しくはこちら
井口研究室

井口 寧

次世代スーパーコンピュータの基礎技術を
研究します

キーワード

超並列アーキテクチャ、超並列処理、リコンフィギャラブルシステム、スーパーコンピュータ、ドメインスペシフィックアーキテクチャ

詳しくはこちら
金子研究室

金子 峰雄

LSIは計算処理の現場。先端LSIのための
回路技術と最適化技術を探求する!

キーワード

LSI、レイアウト設計、論理設計、高位合成、ハード・ソフト・コデザイン、組合せ最適化

詳しくはこちら
クルカスキー研究室

クルカスキー ブライアン マイケル

BITS: Bits of Information,
Transmitted and Stored

キーワード

reliable communicaitons, wireless communications, data storage

詳しくはこちら
篠田研究室

篠田 陽一

高信頼ネットワーク社会を目指して

キーワード

ネットワークセキュリティー、次世代ネットワーク

詳しくはこちら
田中(清)研究室

田中 清史

高性能コンピュータを作ろう

キーワード

キャッシュメモリ、低消費電力、高機能メモリシステム、FPGA、相互結合網、リアルタイムスケジューリング、組込みOS

詳しくはこちら
丹研究室

丹 康雄

家庭環境で人々を支援するICTシステムの研究を推進しています

キーワード

IoT、M2M、ホームネットワーク、情報家電、スマートハウス、国際標準化

詳しくはこちら
藤崎研究室

藤﨑 英一郎

情報通信システムの安全性を数学的に証明する

キーワード

暗号方式設計と攻撃手法、安全性理論、耐量子暗号、秘密計算、ネットワークセキュリティ

詳しくはこちら
宮地研究室

宮地 充子 ※新規の学生受入は行っていません

安全な社会を支えるセキュリティ技術とセキュリティ人材

キーワード

サイバーセキュリティ、暗号、セキュアIoT機器、プライバシー、セキュリティ評価基準

詳しくはこちら
p_ishii.jpg

石井 大輔

信頼できるソフトウェアを実世界に組み込む

キーワード

組込みシステム、自律CPS、モデル検査、プログラム検証、高信頼シミュレーション

詳しくはこちら
鈴木研究室

鈴木 正人

複雑なソフトウェアの仕組みやはたらきを視覚的にわかりやすく表現します

キーワード

ソフトウェア開発支援環境/ツール, ソフトウェアアーキテクチャ, プロダクトライン, サービス指向(SOA), ソフトウェア技術者教育

詳しくはこちら
リム研究室

リム 勇仁

For Forthcoming Research on Wireless,
Sensor and Energy

キーワード

無線、ネットワーク、ユビキタス、センサ、エネルギー

詳しくはこちら
ベウラン研究室

ベウラン ラズバン フローリン
※新規の学生受入は行っていません

ネットワークと人々の安全を確保

キーワード

サイバー演習、サイバーレンジ、エミュレーション

詳しくはこちら
p_tomita.jpg

冨田 尭

ソフトウェアの高安全化・高信頼化を目指して

キーワード

モデル検査、プログラム検証、仕様検証、モデル生成、プログラム生成、テスト生成

詳しくはこちら

研究施設

  1. サイバーレンジ構成学(NEC寄附講座)
  2. 高信頼IoT社会基盤研究拠点(エクセレントコア)

就職実績

  • (株)インターネットイニシアティブ
  • NTT コミュニケーションズ(株)
  • (株) NTT ファシリティーズ
  • (株)キーエンス
  • (株)神戸製鋼所
  • シャープ(株)
  • セイコーエプソン(株)
  • (株)セーレン
  • ソニー(株)
  • 大日本印刷(株)
  • (株)東芝
  • 東芝メモリ(株)
  • トランスコスモス(株)
  • トレンドマイクロ(株)
  • 日本電気(株)
  • 日本電信電話(株)
  • パナソニック(株)
  • (株)日立製作所
  • 富士通(株)
  • 富士電機(株)
  • 三菱電機(株)
  • 楽天(株)
  • リコー(株) 等

動画一覧

青木 利晃 准教授
青木 利晃 教授
モデル検査、定理証明、形式仕様記述、組込みシステム、車載システム、産業応用
研究者総覧
1分PV
井口 寧 教授
井口 寧 教授
超並列アーキテクチャ、超並列処理、リコンフィギャラブルシステム、スーパーコンピュータ
研究者総覧
1分PV
p08_01_movie.png
丹 康雄 教授
IoT、M2M、ホームネットワーク、情報家電、スマートハウス、国際標準化
研究者総覧
この人に聞く
藤﨑 英一郎 教授
藤﨑 英一郎 教授
暗号、署名、暗号安全性理論、暗号通貨、ネットワークセキュリティ
研究者総覧
1分PV
松本 正 教授
松本 正 教授
膨大な端末を有するワイヤレスネットワーク、Lossy Forwarding 協調通信、電波発信位置推定、チャンネル推定
研究者総覧
1分PV ロングPV
この人に聞く
p11_01_movie.png
宮地 充子 教授
サイバーセキュリティ、暗号、セキュアIoT機器、プライバシー、セキュリティ評価基準
研究者総覧
この人に聞く
リム 勇仁 准教授
リム 勇仁 准教授
無線、ネットワーク、ユビキタス、センサ、エネルギー
研究者総覧
1分PV
PAGETOP