青木 利晃

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

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

井口 寧

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

超並列アーキテクチャ、超並列処理、リコンフィギャラブルシステム、スーパーコンピュータ、AIプロセッサ

篠田 陽一※新規の学生受入は行っていません

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

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

田中 清史

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

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

丹 康雄

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

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

石井 大輔

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

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

宇多 仁

ICTシステム構築・運用の信頼性向上を目指して

ネットワーク経路制御、キャンパス情報基盤、データセンタ、サイバーセキュリティ

鈴木 正人

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

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

冨田 尭

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

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

ベウラン ラズバン

セキュリティの研究により次世代社会の信頼性を高める

サイバーセキュリティ、IoT/CPSセキュリティ、AI、信頼性保証、サイバーレンジ

リム 勇仁

For Forthcoming Research on Wireless,
Sensor and Energy

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