次世代デジタル社会基盤
青木 利晃 教授 AOKI Toshiaki
青木研究室 AOKI Laboratory
社会を支える重要システムの 安全性・信頼性を最先端の科学で実現する
キーワード：モデル検査、定理証明、形式仕様記述、組込みシステム、車載システム、産業応用
学修分野：情報科学、融合科学
詳しく見る
次世代デジタル社会基盤
石井 大輔 准教授 ISHII Daisuke
石井研究室 ISHII Laboratory
信頼できるソフトウェアを実世界に組み込む
キーワード：組込みシステム、自律CPS、モデル検査、プログラム検証、高信頼シミュレーション
学修分野：情報科学
詳しく見る
次世代デジタル社会基盤
井口 寧 教授 INOGUCHI Yasushi
井口研究室 INOGUCHI Laboratory
次世代スーパーコンピュータの基礎技術を研究します
キーワード：超並列アーキテクチャ、超並列処理、リコンフィギャラブルシステム、スーパーコンピュータ、AIプロセッサ
学修分野：情報科学
詳しく見る
次世代デジタル社会基盤
宇多 仁 准教授 UDA Satoshi
宇多研究室 UDA Laboratory
ICTシステム構築・運用の信頼性向上を目指して
キーワード：ネットワーク経路制御、キャンパス情報基盤、データセンタ、サイバーセキュリティ
学修分野：情報科学
詳しく見る
次世代デジタル社会基盤
篠田 陽一 教授 SHINODA Yoichi
篠田研究室 SHINODA Laboratory
高信頼ネットワーク社会を目指して
キーワード：ネットワークセキュリティー、次世代ネットワーク
学修分野：情報科学
詳しく見る
次世代デジタル社会基盤
鈴木 正人 准教授 SUZUKI Masato
鈴木研究室 SUZUKI Laboratory
複雑なソフトウェアの仕組みやはたらきを 視覚的にわかりやすく表現します
キーワード：ソフトウェア開発支援環境/ツール, ソフトウェアアーキテクチャ, プロダクトライン, サービス指向(SOA), ソフトウェア技術者教育
学修分野：情報科学
詳しく見る
次世代デジタル社会基盤
田中 清史 教授 TANAKA Kiyofumi
田中研究室 TANAKA Laboratory
高性能コンピュータを作ろう
キーワード：キャッシュメモリ、低消費電力、高機能メモリシステム、FPGA、相互結合網、リアルタイムスケジューリング、組込みOS
学修分野：情報科学
詳しく見る
次世代デジタル社会基盤
丹 康雄 教授 TAN Yasuo
丹研究室 TAN Laboratory
家庭環境で人々を支援する ICTシステムの研究を推進しています
キーワード：IoT、M2M、ホームネットワーク、情報家電、スマートハウス、国際標準化
学修分野：情報科学
詳しく見る
次世代デジタル社会基盤
冨田 尭 准教授 TOMITA Takashi
冨田研究室 TOMITA Laboratory
ソフトウェアの高安全化・高信頼化を目指して
キーワード：モデル検査、プログラム検証、仕様検証、モデル生成、プログラム生成、テスト生成
学修分野：情報科学
詳しく見る
