コンピューティング科学
平石 邦彦 教授 HIRAISHI Kunihiko
平石研究室 HIRAISHI Laboratory
新規の学生受入は行っていません
過去・現在・未来を知るための
システム数理技術について学ぼう
キーワード：離散事象／ハイブリッドシステム・形式検証・エージェントシミュレーション・状況アウェアネス・ビジネスプロセス
学修分野：情報科学
詳しく見る
コンピューティング科学
廣川 直 准教授 HIROKAWA Nao
計算理論研究室 Laboratory on Theory of Computation
プログラミング言語と自動証明
キーワード：理論計算機科学・記号計算・関数型プログラミング言語・自動証明・停止性・計算量解析
学修分野：情報科学
詳しく見る
共創インテリジェンス
ヒュン ナム ヤン 教授 HUYNH, Nam Van
意思決定インテリジェンス研究室 Laboratory on Decision Intelligence
Decision Intelligence
キーワード：Machine learning, Data analytics, Argumentation, Optimization, Uncertainty management, Decision analysis
学修分野：知識科学、情報科学
詳しく見る
コンピューティング科学
藤﨑 英一郎 教授 FUJISAKI Eiichiro
暗号と情報セキュリティ研究室 Laboratory on Cryptography and Information Security
情報通信システムの安全性を数学的に証明する
キーワード：暗号方式設計と攻撃手法、安全性理論、耐量子暗号、秘密計算、ネットワークセキュリティ
学修分野：情報科学
詳しく見る
次世代デジタル社会基盤
ベウラン ラズバン 准教授 BEURAN Razvan
サイバーセキュリティ研究室 Cybersecurity Laboratory
セキュリティの研究により次世代社会の信頼性を高める
キーワード：ネットワークセキュリティ、AI、トラストワージネス、セキュリティ演習、サイバーレンジ
学修分野：情報科学
詳しく見る
次世代デジタル社会基盤
ホ ツイウェイ 講師 HE Cuiwei
光無線通信研究室 Laboratory on Optical and Wireless Communications
Advancing Wireless Communication Technologies for the Future
キーワード：Wireless Communications, Optical Communications, Communication Theory, Experimental Validations
学修分野：情報科学
詳しく見る
サスティナブルイノベーション
本郷 研太 准教授 HONGO Kenta
データ駆動型量子材料研究室 Laboratory on Data-Driven Quantum Materials Search
スパコンを活用した計算科学と情報学の融合による革新的物質設計
キーワード：ベイズ統計、機械学習、統計的学習、第一原理電子状態計算、物質・材料科学シミュレーション
学修分野：情報科学、マテリアルサイエンス
詳しく見る
人間情報学
マワリム ケンディ オリビア 講師 MAWALIM, Candy Olivia
聴覚・インタラクション研究室
Laboratory on Speech, Hearing, and Interaction
安心して話せるサイバー空間へ
キーワード：声質変換、話者匿名化、認知聴覚、補聴技術、低資源言語処理、ヒューマン・コンピュータ・インタラクション
学修分野：情報科学
詳しく見る
人間情報学
吉高 淳夫 准教授 YOSHITAKA Atsuo
視覚情報処理学研究室 Laboratory on Visual Information Processing
画像・映像処理とユーザインタフェースに関わる研究を幅広く展開しています
キーワード：深層学習、動画像解析、物体検出・識別、医用画像処理、視線解析、撮影・編集支援システム
学修分野：情報科学
詳しく見る
