Algorithms & Complexity
Performs fundamental and applied research with specific focus on algorithms for massive data. The fundamental problems include clustering, dimensionality reduction, approximation algorithms for massive graphs, sublinear and streaming algorithms, approximating frequency moments, building space efficient sketches and non-uniform sampling methods for massive data.
Programming Languages Laboratory
Spans many areas of programming languages and includes type systems, language design, type inference, efficient implementation of higher-order typed languages, side effects, concurrency, security, and metaprogramming.