MIT Theory of Distributed Systems Group : Home Page

http://theory.lcs.mit.edu/tds/ (PC Press Internet CD, 03/1996)

For more information please contact the

group secretary Joanne Talbot .

617 253-6054 (voice)

617 258-8682 (fax)

joanne@theory.lcs.mit.edu

The Theory of Distributed Systems Group is part of the Theory of Computation Group at the MIT Laboratory for Computer Science.

MIT's Theory of Distributed Systems (TDS) research group works on a wide range of problems involving distributed and real-time systems. The work has a theoretical flavor, but is closely tied to practice. Roughly speaking, the research can be classified into (a) work on formal modelling and verification (b) work on algorithms, data structures and lower bounds, and (c) work on applications.

TDS people
TDS publications

The TDS group is funded in part by ARPA contract N00014-92-J-4033, in part by NSF 922124-CCR, and in part by ONR-AFOSR F49620-94-1-0199.

Back to TOC.