上原 隆平

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

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

緒方 和博

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

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

小川 瑞史 ※新規の学生受入は行っていません

理論を現実の問題に：
信頼できるソフトウェア、セキュアなシステム

Formal language, Combinatorics, Rewriting systems, State transition systems, Formal methods, SMT solver, Binary code analysis

グェン ミン レ

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

髙木 翼

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

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

廣川 直

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

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

ラチャラク ティーラデチ

ReaLearn: Reasoning and Learning
for Trustworthy AI

Trustworthy AI, Knowledge Representation and Reasoning, Explanation, Deep Learning, Knowledge-aware Machine Learning