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

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
This Lab is not accepting student after October 2025

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

TRAN Vu Duc

Safe domain- savvy AI for reliable human–AI synergy

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