研究科・領域

研究室一覧

上原 隆平

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

キーワード

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

詳しくはこちら

緒方 和博

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

キーワード

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

詳しくはこちら

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

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

キーワード

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 21st 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

詳しくはこちら
PAGETOP