Theory & Programming Languages

Software development engineerResearch Labs & Groups

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.

 

PEOPLE

Vladimir Braverman

Michael Dinitz

S. Rao Kosaraju

Xin Li

Scott Smith

Amihood Amir

Back to top