Theory of Computation Seminars

Quadratic Lower Bounds on Matrix Rigidity

FRAIG: A new datastructure for formal verification and circuit synthesis

The search for a quantum algorithm for Graph Isomorphism

Deploying Sensor Nets with Guaranteed Capacity and Fault Tolerance by Jonathan L. Bredin, Erik D. Demaine, MohammadTaghi Hajiaghayi and Daniela Rus

On the Complexity of Numerical Analysis

Gowers Uniformity, influence of variables, and PCPs

Deploying Sensor Nets with Guaranteed Capacity and Fault Tolerance, by Jonathan L. Bredin, Erik D. Demaine, MohammadTaghi Hajiaghayi and Daniela Rus.

Large-scale phylogenetic reconstruction and the Tree of Life

Sublinear Algorithms for Compressed Sensing

Max-stable Random Sketches: Estimation of Distances, Norms and Dominance Norms