HOME > Graduate School/Areas > Computing Science > [Laboratory] Laboratory List
Computing Science Research Area Study computation, know the limits of computation, and unveil methods of the right conclusion from an ocean of data.
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*This Lab. is not accepting new student.
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 21st 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