Talk by Pravesh K. Kothari (Carnegie Mellon University)