Video Lectures

In this talk I will try to motivate the interest and some of the mystery in the Ramsey numbers R(k), which are fundamental quantities in combinatorics. I will go on to discuss some recent progress on our understanding of these numbers and make some...

The classical Serrin’s overdetermined theorem states that a C^2 bounded domain, which admits a function with constant Laplacian that satisfies both constant Dirichlet and Neumann boundary conditions, must necessarily be a ball. While extensions of...

Relative symplectic cohomology, an invariant of subsets in a symplectic manifold, was recently introduced by Varolgunes. In this talk, I will present a generalization of this invariant to pairs of subsets, which shares similar properties with the...

The well-known Zig-Zag product and related graph operators, like derandomized squaring, are fundamentally combinatorial in nature. Classical bounds on their behavior often rely on a mix of combinatorics and linear algebra. However, these traditional...

Eisenstein proved, in 1852, that if a function f(z) is algebraic, then its Taylor expansion at a point has coefficients lying in some finitely-generated Z-algebra. I will explain ongoing joint work with Josh Lam which studies the extent to which the...

We construct compactifications of type IIB string theory that yield, at leading order in the α ′ α ′ and g s g s expansions, de Sitter vacua of the form envisioned by Kachru, Kallosh, Linde, and Trivedi. We specify explicit Calabi-Yau orientifolds...

I will discuss some well-known and less-known papers of Turing, exemplify the scope of deep, prescient ideas he put forth, and mention follow-up work on these by the Theoretical CS community.

No special background will be assumed.

The well-known Zig-Zag product and related graph operators, like derandomized squaring, are fundamentally combinatorial in nature. Classical bounds on their behavior often rely on a mix of combinatorics and linear algebra. However, these traditional...

Given a path-connected topological space X, a differential graded (DG) local system (or derived local system) is a module over the DGA of chains on the based loop space of X. I will explain how to define in the symplectically aspherical case...