上原 隆平

折り紙、パズル、ゲームを学んで
柔らかな知力を身につけよう！

計算折り紙、組合せ最適化、グラフアルゴリズム、ゲームやパズルの計算量

緒方 和博

状態機械をとおして
複雑な分散システムの核心に迫る！

分散システム、状態機械、定理証明、モデル検査

グェン ミン レ

Deep Learning, Natural Language
Understanding, Legal Text Processing

Natural Language Understanding, Text Summarization, Deep Learning, Knowledge Representation

クルカスキー ブライアン

BITS: Bits of Information,
Transmitted and Stored

reliable communications, wireless communications, data storage

藤﨑 英一郎

情報通信システムの安全性を数学的に証明する

暗号方式設計と攻撃手法、安全性理論、耐量子暗号、秘密計算、ネットワークセキュリティ

シュワルツマン グレゴリー

Algorithm design for the 21^st century

Distributed Systems, Graph Algorithms, Combinatorial Optimizations, Streaming Algorithms

髙木 翼

計算機科学の理論的基盤を構築する

多ソート等式論理、様相論理、動的論理（ホーア論理）、時相論理（モデル検査）、量子論理

廣川 直

プログラミング言語と自動証明

理論計算機科学、記号計算、関数型プログラミング言語、自動証明、停止性、計算量解析

トラン ヴ ドゥック

Safe domain- savvy AI for reliable human–AI synergy

Deep Learning, Natural Language Understanding, Generative AI, Legal Engineering, Social Media Analysis

ド ミン カン

Building a trustworthy quantum era through formal verification

Formal Specification, Model Checking, Theorem Proving, Quantum Computation, Quantum Information