Short Talks by Postdoctoral Members 2012 Date September 25, 2012 Affiliation Institute for Advanced Study video lecture Syntax and Semantics September 25, 2012 Benedikt Ahrens Read More video lecture Dispersive Estimates for Wave and Schroedinger Equations September 25, 2012 Marius Beceanu Read More video lecture Stability and Instability of Extremal Black Holes September 25, 2012 Stefanos Aretakis Read More video lecture Derived de Rham Cohomology September 25, 2012 Bhargav Bhatt Read More video lecture Mechanisms Leveraging Arbitrary Set-Theoretic Belief Hierarchies September 25, 2012 Jing Chen Read More video lecture Categorical Langlands Correspondence in Positive Characteristic September 25, 2012 Tsao-Hsien Chen Read More video lecture The Complexity of Transforming Problem Instances September 27, 2012 Andrew Drucker Read More video lecture Locally Decodable Codes September 27, 2012 Klim Efremenko A code C is said to be Locally Decodable Code with q queries if it is possible to recover any symbol x_j of a message x by making at most q queries to C(x), such that even if a constant fraction of C(x) is corrupted, the decoding algorithm... Read More video lecture Higher Dimensional Syntax September 27, 2012 Eric Finster Read More video lecture Representation Theory of Groups Over Close Local fields September 27, 2012 Radhika Ganapathy Read More video lecture Galois Representations and Modular Forms of Non-Regular Weight September 27, 2012 David Geraghty Read More video lecture Irregular Automorphic Galois Representations September 27, 2012 Wushi Goldring Read More video lecture Periodic Orbits in Hamiltonian Dynamics September 28, 2012 Doris Hein Read More video lecture Discrete Fourier Restriction Phenomenon and Associated Dispersive Equations September 28, 2012 Yi Hu Read More video lecture Graph Coloring, Biclique Partition, and Communication Complexity September 28, 2012 Hao Huang Read More video lecture Counting Rational Points on Cubic Surfaces September 28, 2012 Pierre Le Boudec Read More video lecture Topological Dagta Analysis and Persistent Homology September 28, 2012 Michael Lesnick Read More video lecture Computing with Univalence September 28, 2012 Daniel Licata Read More video lecture Higher Inductive Types October 01, 2012 Peter Lumsdaine Read More video lecture Symplectic Geometry of Smooth Affine Varieties October 01, 2012 Mark McLean Read More video lecture Information Theoretic Arguments for Circuit Lower Bounds October 01, 2012 Or Meir Read More video lecture Sketching and Streaming Algorithms October 01, 2012 Jelani Nelson Read More video lecture Lifting Projective Galois Representations October 01, 2012 Stefan Patrikis Read More video lecture Tangential Lipschitz Gain for Holomorphic Functions October 01, 2012 Sivaguru Ravisankar Read More video lecture Counting $GL_2(\mathbb{Z})$ orbits on binary quartic forms and applications October 03, 2012 Arul Shankar Read More video lecture Random Band Matrices: Local Regime October 03, 2012 Tetiana Shcherbyna Read More video lecture The Relative Fukaya Category, Symplectic and Quantum Cohomology October 03, 2012 Nicolas Sheridan Read More video lecture Inernal Languages for Higher Toposes October 03, 2012 Michael Shulman Read More video lecture Type Classes for Mathematical Formalizations in Coq October 03, 2012 Matthieu Sozeau Read More video lecture Iwasawa Theory for Unitary Groups October 04, 2012 Xin Wan Read More video lecture Hope for a Type-Theoretic Understanding of Zero-Knowledge October 04, 2012 Noam Zeilberger Read More video lecture The Inverse Galois Problem for $PSL_2(F_p)$ October 04, 2012 David Zywina Read More
video lecture Dispersive Estimates for Wave and Schroedinger Equations September 25, 2012 Marius Beceanu Read More
video lecture Stability and Instability of Extremal Black Holes September 25, 2012 Stefanos Aretakis Read More
video lecture Mechanisms Leveraging Arbitrary Set-Theoretic Belief Hierarchies September 25, 2012 Jing Chen Read More
video lecture Categorical Langlands Correspondence in Positive Characteristic September 25, 2012 Tsao-Hsien Chen Read More
video lecture The Complexity of Transforming Problem Instances September 27, 2012 Andrew Drucker Read More
video lecture Locally Decodable Codes September 27, 2012 Klim Efremenko A code C is said to be Locally Decodable Code with q queries if it is possible to recover any symbol x_j of a message x by making at most q queries to C(x), such that even if a constant fraction of C(x) is corrupted, the decoding algorithm... Read More
video lecture Representation Theory of Groups Over Close Local fields September 27, 2012 Radhika Ganapathy Read More
video lecture Galois Representations and Modular Forms of Non-Regular Weight September 27, 2012 David Geraghty Read More
video lecture Irregular Automorphic Galois Representations September 27, 2012 Wushi Goldring Read More
video lecture Discrete Fourier Restriction Phenomenon and Associated Dispersive Equations September 28, 2012 Yi Hu Read More
video lecture Graph Coloring, Biclique Partition, and Communication Complexity September 28, 2012 Hao Huang Read More
video lecture Counting Rational Points on Cubic Surfaces September 28, 2012 Pierre Le Boudec Read More
video lecture Topological Dagta Analysis and Persistent Homology September 28, 2012 Michael Lesnick Read More
video lecture Information Theoretic Arguments for Circuit Lower Bounds October 01, 2012 Or Meir Read More
video lecture Tangential Lipschitz Gain for Holomorphic Functions October 01, 2012 Sivaguru Ravisankar Read More
video lecture Counting $GL_2(\mathbb{Z})$ orbits on binary quartic forms and applications October 03, 2012 Arul Shankar Read More
video lecture The Relative Fukaya Category, Symplectic and Quantum Cohomology October 03, 2012 Nicolas Sheridan Read More
video lecture Type Classes for Mathematical Formalizations in Coq October 03, 2012 Matthieu Sozeau Read More
video lecture Hope for a Type-Theoretic Understanding of Zero-Knowledge October 04, 2012 Noam Zeilberger Read More
