添田 彬仁（国立情報学研究所）

情報処理と量子操作

Prof. Jonathan Ragan-Kelley (MIT)

Safe & Productive High-Performance Programming with User-Schedulable Languages

高倉 弘喜（国立情報学研究所）

見えないサイバー攻撃の炙り出し方

山岸 順一（国立情報学研究所）

音声のディープフェイク検知はどこまで可能か？

金子 めぐみ（国立情報学研究所）

次世代通信システムのための無線資源とエネルギー資源の利用最適化

張 耀中（東京大学 医科学研究所）

人工知能時代のゲノムデータ解析:シグナルから塩基、セグメントから全ゲノムへ/
Genomic data analysis in the age of artificial intelligence: From signals to nucleotides and from segments to whole genomes

熊坂 夏彦（国立成育医療研究センター）

自然免疫応答の遺伝的多様性を単一細胞分解能で理解する

山田 浩史（東京農工大学）

あらゆる障害を乗り越えるシステムソフトウェアを目指して

品川 高廣（東京大学 情報基盤センター）

クラウドコンピューティングを進化させる基盤システムソフトウェア

安積 卓也（埼玉大学理工学研究科）

クラスタ型メニーコアを用いた組込みリアルタイムプラットフォームの実現と展望

塚田 学（東京大学情報理工学系研究科）

都市基盤のオープンプラットフォームを目指して

室屋 晃子 (京都大学数理解析研究所)

文脈等価性の局所解析手法とその（個人的）展開

Chitchanok Chuengsatiansup (The University of Melbourne, Australia)

CryptOpt: Automatic Cryptographic Code Optimization with Verified Compilation

馬場　雪乃（東京大学総合文化研究科）

多様性に配慮した意思決定のための機械学習

福里　司（東京大学情報理工学系研究科）

アニメ作品を効率的に制作するための対話的なシステムの開発(Development of Interactive Systems for Efficiently Designing Cartoon Animated Works)

河原林 健一（国立情報学研究所）

グラフ構造とアルゴリズム

佐藤 亮介（東京大学情報理工学系研究科）

高階モデル検査によるソフトウェアの全自動形式検証

Lei Ma（University of Alberta, Canada）

Towards Quality and Reliability Engineering in the era of Data-Driven Complex AI Systems

河村 彰星（京都大学）

連続世界の計算論

勝股 審也（国立情報学研究所）

ホーア論理のモナド的モデル

石川 冬樹 氏（国立情報学研究所）

自動運転・AIシステムのためのテスト・デバッグ技術の深化

亀井 靖高 氏（九州大学大学院システム情報科学研究院）

マイニングソフトウェアリポジトリ ~ソフトウェア品質改善の自動化／半自動化に向けて~