Biologically Inspired Neural and Dynamical Systems Laboratory
Aims to apply techniques developed in computer science to problems in biology and neuroscience
Laboratory for Internet-Scale Distributed Systems
Studies foundational principles that enable Internet-based services to be reliable, scalable, secure, high-performance, energy-efficient, and low-cost.
Laboratory in Kine(ma)tics and Geometry
Focuses on rigidity, flexibility, and motion for constrained structures like linkages or frameworks in mechanics or robotics.
Theoretical Computer Science Group
Uses mathematical techniques to study problems throughout computer science, focusing on network algorithms, coding theory, and combinatorial optimization.