次世代デジタル社会基盤
田中 清史 教授 TANAKA Kiyofumi
計算機アーキテクチャ研究室 Laboratory on Computer Architecture
高性能コンピュータを作ろう
キーワード：キャッシュメモリ、低消費電力、高機能メモリシステム、FPGA、相互結合網、リアルタイムスケジューリング、組込みOS
学修分野：情報科学
詳しく見る
データ社会メディア
ダム ヒョウ チ 教授 DAM, Hieu Chi
先端AIデータ駆動知識創成研究室 Data-Driven AI for Scientific Discovery Laboratory
先端AIとデータの共創で、科学的知見の切り拓きを楽しもう
キーワード：計算機シミュレーション、データマイニング
学修分野：知識科学、情報科学、マテリアルサイエンス
詳しく見る
次世代デジタル社会基盤
丹 康雄 教授 TAN Yasuo
IoT・スマートシステム研究室 Laboratory on IoT and Smart Systems
家庭環境で人々を支援するICTシステムの研究を推進しています
キーワード：IoT、M2M、ホームネットワーク、情報家電、スマートハウス、国際標準化
学修分野：情報科学
詳しく見る
人間情報学
チ ヨンフン 准教授 JI Yonghoon
移動ロボティクス研究室 Laboratory on Mobile Robotics
無人移動ロボットによる知的環境センシング技術の開拓
キーワード：移動ロボット、ロボットビジョン、環境センシング、 SLAM（simultaneous localization and mapping）
学修分野：情報科学、マテリアルサイエンス
詳しく見る
人間情報学
チョン ナクヨン 教授 CHONG, Nak-Young
知能ロボティクス研究室 Intelligent Robotics Laboratory
知覚認知情報処理に基づく知能ロボット実現を目指す
キーワード：自律型知能ロボット、知覚認知情報処理、日常生活支援ロボット
学修分野：情報科学
詳しく見る
次世代デジタル社会基盤
冨田 尭 准教授 TOMITA Takashi
形式手法研究室 Laboratory on Formal Methods
ソフトウェアの高安全化・高信頼化を目指して
キーワード：モデル検査、プログラム検証、仕様検証、モデル生成、プログラム生成、テスト生成
学修分野：情報科学
詳しく見る
コンピューティング科学
トラン ヴ ドゥック 講師 TRAN Vu Duc
人間・AIシナジー研究室 Laboratory on Human-AI Synergy
Safe domain- savvy AI for reliable human–AI synergy
キーワード：Deep Learning, Natural Language Understanding, Generative AI, Legal Engineering, Social Media Analysis
学修分野：情報科学
詳しく見る
コンピューティング科学
ド ミン カン 講師 DO Minh Canh
量子計算の形式手法に関する研究室
Laboratory on Formal Methods for Quantum Computing
形式検証によって、信頼できる量子時代を築く
キーワード：形式仕様、モデル検査、定理証明、量子計算、量子情報
学修分野：情報科学
詳しく見る
AI知性
西村 拓一 教授 NISHIMURA Takuichi
知の構造化・探求研究室 Laboratory on Wild Knowledge Systems and Inquiry (WiKSI)
自分らしさや好奇心を生かし、人とAIと創発して新たな知を探求します
キーワード：ワイルドナレッジ、暗黙知、データ知識構造化、認知科学、学習支援システム、知能情報学、システム思考、オントロジー、協働アブダクション
学修分野：知識科学、情報科学
詳しく見る
