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

FUJISAKI Eiichiro

Cryptography: A mathematical method to secure communication rigorously.

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

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

DO Minh Canh

Building a trustworthy quantum era through formal verification

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