The main research interest of our laboratory is the theoretical aspect of distributed systems, specifically, distributed algorithms that are computer algorithms for networked computers. Research topics are, for example, self-stabilizing distributed algorithm, distributed mutual exclusion, distributed graph algorithms, and information aggregation and distribution.