UEHARA Ryuhei

Intelligence through computational origami, puzzles, games

Computational Origami, Combinatorial Optimization, Graph Algorithms, Computational Complexity of Games and Puzzles

OGATA Kazuhiro

Make your programs run exactly as intended!

formal specification, model checking, theorem proving, distributed systems, state machine graphical animation

OGAWA Mizuhito
*This Lab. is not accepting new student.

Bridging Theory and Practice:
Dependable Software and Secure systems

Formal language, Rewriting systems, Infinite state transition systems, Formal methods, SMT solver, Binary code analysis

NGUYEN, Minh Le

Deep Learning, Natural Language
Understanding, Legal Text Processing

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

KURKOSKI, Brian Michael

BITS: Bits of Information,
Transmitted and Stored

reliable communications, wireless communications, data storage

HIRAISHI Kunihiko

Mathematical methods to know the past, the present, and the future

Discrete-Event/Hybrid Systems, Formal Verification, Agent Simulation, Situation Awareness, Business Process

FUJISAKI Eiichiro

Cryptography: A mathematical method to secure communication rigorously.

Theoretical cryptography, post-quantum cryptography, multi-party computation, and network security.

INOUE Naoya

Can Machines Read Between the Lines?

Language Model, Deep Learning, AI, Explainability, Data Science, Inference, Argumentation Analysis

SCHWARTZMAN, Gregory

Algorithm design for the 21^st century

Distributed Systems, Graph Algorithms, Combinatorial Optimizations, Streaming Algorithms

TAKAGI Tsubasa

Building Theoretical Foundation of Computer Science

Many-sorted Equational Logic, Modal Logic, Dynamic Logic (Hoare Logic), Temporal Logic (Model Checking), Quantum Logic

HIROKAWA Nao

Programming Languages and Automated Deduction

term rewriting, symbolic computation, declarative programming, theorem proving

RACHARAK Teeradaj

ReaLearn: Reasoning and Learning
for Trustworthy AI

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