次世代デジタル社会基盤
丹 康雄 教授 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
Building a trustworthy quantum era through formal verification
キーワード：Formal Specification, Model Checking, Theorem Proving, Quantum Computation, Quantum Information
学修分野：情報科学
詳しく見る
人間情報学
長谷川 忍 教授 HASEGAWA Shinobu
学習情報学研究室 Laboratory on Learning Informatics
「学び方の学び」を支援する学際的研究環境
キーワード：AI in Education、スキル学習支援、主体的学習支援、エデュテイメント、遠隔教育システム
学修分野：知識科学、情報科学
詳しく見る
創造社会デザイン
林 幸雄 教授 HAYASHI Yukio
複雑ネットワーク科学研究室 Laboratory on Complex Network Science
災害に強く日常的にも役立つ
近未来のネットワーク設計法を探ろう
キーワード：ネットワーク科学、無線通信、フラクタル統計物理、生物メカニズム、アルゴリズム、最適化、SNS、インフルエンサー
学修分野：知識科学、情報科学、融合科学
詳しく見る
共創インテリジェンス
日髙 昇平 准教授 HIDAKA Shohei
計算認知科学研究室 Laboratory on Computational Cognitive Science
認知を理解して知的システムを創造し、
知的システムに喩えて認知を理解する。
キーワード：意味認知、理解、学習、言語発達、身体運動、模倣、コミュニケーション、情報、計算理論、非線形力学系
学修分野：知識科学、情報科学
詳しく見る
