MIT Theory of Distributed Systems (TDS)

This group is part of the Theory of Computation Group at MIT's Computer Science and Artificial Intelligence Laboratory (CSAIL). It is led by Prof. Nancy Lynch.

MIT's Theory of Distributed Systems research group studies theoretical aspects of distributed and concurrent systems. Recent work has focused on dynamic systems, in which the system configuration changes over time, and in particular on wireless network algorithms. We are also interested in distributed algorithms that are derived from biological systems, including insect colonies, developing embryos, and brains.

The work has a theoretical flavor, but at the same time, is closely related to practice. We hope for results that are both mathematically elegant and significant in practice.

Our work on wireless network algorithms ranges from low-level algorithms for wireless communication, to intermediate-level algorithms that solve global problems such as building network structures, to high-level algorithms for applications such as data management and robot coordination. In addition to studying (many) individual problems and algorithms, we are interested in ways of combining algorithms at different levels to construct an integrated, top-to-bottom theory for wireless network algorithms. This also involves some fundamental work on concurrency theory foundations.

The TDS group is currently funded by the Air Force Office of Scientific Research and the National Science Foundation. Specific grants include:

For more information please contact the group secretary Joanne Talbot Hanley.
32 Vassar Street (32-G672A)
Cambridge, MA 02139
617 253-6054 (office)
617 258-8682 (fax)
joanne@csail.mit.edu

TOC / CSAIL / MIT