Theoretical Computer Science Laboratory is widely interested in the principles of computing, particularly algorithm theory. For a bunch of problems originating from the real world or motivated by theoretical computer science, our research interest includes design of algorithms and mathematical analysis from the view point of correctness, efficiency, robustness, and so on. These topics include optimization problems, graph theory, discrete mathematics, and distributed computing theory.
Member
The Main Research Topics
Theoretical computer science
Algorithm theory
Theory for distributed coordination
Discrete Mathematics