Graduate School/Areas

Laboratory List

UEHARA Ryuhei

Intelligence through computational origami, puzzles, games

Keywords

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

Click here for details

OGATA Kazuhiro

Make your programs run exactly as intended!

Keywords

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

Click here for details

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

Bridging Theory and Practice:
Dependable Software and Secure systems

Keywords

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

Click here for details

NGUYEN, Minh Le

Deep Learning, Natural Language
Understanding, Legal Text Processing

Keywords

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

Click here for details

KURKOSKI, Brian Michael

BITS: Bits of Information,
Transmitted and Stored

Keywords

reliable communications, wireless communications, data storage

Click here for details

HIRAISHI Kunihiko
*This Lab. is not accepting new student.

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

Keywords

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

Click here for details

FUJISAKI Eiichiro

Cryptography: A mathematical method to secure communication rigorously.

Keywords

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

Click here for details

INOUE Naoya

Can Machines Read Between the Lines?

Keywords

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

Click here for details

SCHWARTZMAN, Gregory

Algorithm design for the 21st century

Keywords

Distributed Systems, Graph Algorithms, Combinatorial Optimizations, Streaming Algorithms

Click here for details

TAKAGI Tsubasa

Building Theoretical Foundation of Computer Science

Keywords

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

Click here for details

HIROKAWA Nao

Programming Languages and Automated Deduction

Keywords

term rewriting, symbolic computation, declarative programming, theorem proving

Click here for details

RACHARAK Teeradaj

ReaLearn: Reasoning and Learning
for Trustworthy AI

Keywords

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

Click here for details
PAGETOP