コンピューティング科学
廣川 直 准教授 HIROKAWA Nao
廣川研究室 HIROKAWA Laboratory
プログラミング言語と自動証明
キーワード：理論計算機科学・記号計算・関数型プログラミング言語・自動証明・停止性・計算量解析
学修分野：情報科学
詳しく見る
共創インテリジェンス
ヒュン ナム ヤン 教授 HUYNH, Nam Van
ヒュン研究室 HUYNH Laboratory
Decision Intelligence
キーワード：Machine learning, Data analytics, Argumentation, Optimization, Uncertainty management, Decision analysis
学修分野：知識科学、情報科学
詳しく見る
コンピューティング科学
藤﨑 英一郎 教授 FUJISAKI Eiichiro
藤﨑研究室 FUJISAKI Laboratory
情報通信システムの安全性を数学的に証明する
キーワード：暗号方式設計と攻撃手法、安全性理論、耐量子暗号、秘密計算、ネットワークセキュリティ
学修分野：情報科学
詳しく見る
次世代デジタル社会基盤
ベウラン ラズバン 准教授 BEURAN Razvan
ベウラン研究室 BEURAN Laboratory
セキュリティの研究により次世代社会の信頼性を高める
キーワード：サイバーセキュリティ、IoT/CPSセキュリティ、AI、信頼性保証、サイバーレンジ
学修分野：情報科学
詳しく見る
次世代デジタル社会基盤
ホ ツイウェイ 講師 HE Cuiwei
Advancing Wireless Communication Technologies for the Future
キーワード：Wireless Communications, Optical Communications, Communication Theory, Experimental Validations
学修分野：情報科学
詳しく見る
サスティナブルイノベーション
本郷 研太 准教授 HONGO Kenta
本郷研究室 HONGO Laboratory
スパコンを活用した計算科学と情報学の融合による革新的物質設計
キーワード：ベイズ統計、機械学習、統計的学習、第一原理電子状態計算、物質・材料科学シミュレーション
学修分野：情報科学、マテリアルサイエンス
詳しく見る
サスティナブルイノベーション
前園 涼 教授 MAEZONO Ryo
前園研究室 MAEZONO Laboratory
JAISTのスパコンを使って世界最大級・ 最先端シミュレーション研究に挑戦
キーワード：物性理論/量子化学/多体電子論/スーパーコンピュータ/マテリアルズ・インフォマティクス/モンテカルロ/第一原理計算
学修分野：情報科学
詳しく見る
人間情報学
吉高 淳夫 准教授 YOSHITAKA Atsuo
吉高研究室 YOSHITAKA Laboratory
画像・映像処理とユーザインタフェースに関わる研究を幅広く展開しています
キーワード：深層学習、動画像解析、物体検出・識別、医用画像処理、視線解析、撮影・編集支援システム
学修分野：情報科学
詳しく見る
コンピューティング科学
ラチャラク ティーラデチ 講師 RACHARAK Teeradaj
グェン研究室 NGUYEN Laboratory
ReaLearn: Reasoning and Learning for Trustworthy AI
キーワード：Trustworthy AI, Knowledge Representation and Reasoning, Explanation, Deep Learning, Knowledge-aware Machine Learning
学修分野：情報科学
詳しく見る
