Institute for Advanced Study

September 25, 2012

## Syntax and Semantics

Benedikt Ahrens

Universite Nice Sophia Antipolis; Member, School of Mathematics

## Dispersive Estimates for Wave and Schroedinger Equations

Marius Beceanu

Rutgers, The State University of New Jersey; Member, School of Mathematics

## Stability and Instability of Extremal Black Holes

Stefanos Aretakis

University of Cambridge; Member, School of Mathematics

## Derived de Rham Cohomology

Bhargav Bhatt

University of Michigan; Member, School of Mathematics

## Mechanisms Leveraging Arbitrary Set-Theoretic Belief Hierarchies

Jing Chen

Massachusetts Institute of Technology; Member, School of Mathematics

## Categorical Langlands Correspondence in Positive Characteristic

Tsao-Hsien Chen

Massachusetts Institute of Technology; Member, School of Mathematics

## The Complexity of Transforming Problem Instances

Andrew Drucker

Massachusetts Institute of Technology; Member, School of Mathematics

## Locally Decodable Codes

Klim Efremenko

Tel-Aviv University; Member, School of Mathematics

## Higher Dimensional Syntax

Eric Finster

Ecole Polytechnique Federal de Lausanne; Member, School of Mathematics

## Representation Theory of Groups Over Close Local fields

Radhika Ganapathy

Purdue University; Member, School of Mathematics

## Galois Representations and Modular Forms of Non-Regular Weight

David Geraghty

Princeton University/Institute for Advanced Study

## Irregular Automorphic Galois Representations

Wushi Goldring

Universite Paris 13; Member, School of Mathematics

## Periodic Orbits in Hamiltonian Dynamics

Doris Hein

University of California, Santa Cruz; Member, School of Mathematics

## Discrete Fourier Restriction Phenomenon and Associated Dispersive Equations

Yi Hu

University of Illinois at Urbana-Champaign; Member, School of Mathematics

## Graph Coloring, Biclique Partition, and Communication Complexity

Hao Huang

University of California, Los Angeles; Member, School of Mathematics

## Counting Rational Points on Cubic Surfaces

Pierre Le Boudec

Institute for Advanced Study

## Topological Dagta Analysis and Persistent Homology

Michael Lesnick

Stanford University; Member, School of Mathematics

## Computing with Univalence

Daniel Licata

Carnegie Mellon University; Member, School of Mathematics

## Higher Inductive Types

Peter Lumsdaine

Dalhousie University; Member, School of Mathematics

## Symplectic Geometry of Smooth Affine Varieties

Mark McLean

Massachusetts Institute of Technology; Member, School of Mathematics

## Information Theoretic Arguments for Circuit Lower Bounds

Or Meir

Stanford University; Member, School of Mathematics

## Sketching and Streaming Algorithms

Jelani Nelson

Institute for Advanced Study; Member, School of Mathematics

## Lifting Projective Galois Representations

Stefan Patrikis

Princeton University; Member, School of Mathematics

## Tangential Lipschitz Gain for Holomorphic Functions

Sivaguru Ravisankar

The Ohio State University; Member, School of Mathematics

## Counting $GL_2(\mathbb{Z})$ orbits on binary quartic forms and applications

Arul Shankar

Princeton University; Member, School of Mathematics

## Random Band Matrices: Local Regime

Tetiana Shcherbyna

ILTPE of the National Academy of Sci. of Ukraine; Member, School of Mathematics

## The Relative Fukaya Category, Symplectic and Quantum Cohomology

Nicolas Sheridan

Massachusetts Institute of Technology; Member, School of Mathematics

## Inernal Languages for Higher Toposes

Michael Shulman

University of California, San Diego; Member, School of Mathematics

## Type Classes for Mathematical Formalizations in Coq

Matthieu Sozeau

INRIA Paris; Member, School of Mathematics

## Iwasawa Theory for Unitary Groups

Xin Wan

Princeton University; Member, School of Mathematics

## Hope for a Type-Theoretic Understanding of Zero-Knowledge

Noam Zeilberger

IMDEA Software Institute; Member, School of Mathematics

## The Inverse Galois Problem for $PSL_2(F_p)$

David Zywina