## Modularity lifting theorems for non-regular symplectic representations

Abstract: We prove an ordinary modularity lifting theorem for certain non-regular 4-dimensional symplectic representations over totally real fields. The argument uses both higher Hida theory and the Calegari-Geraghty version of the Taylor-Wiles method. We also present some applications of these theorems to abelian surfaces. (Joint work with F. Calegari, T. Gee, and V. Pilloni.)

## Potential automorphy of some compatible systems over CM fields

## Automorphy of mod 3 representations over CM fields

Abstract: Wiles' work on modularity of elliptic curves over the rationals, used as a starting point that odd, irreducible represenations $G_Q \rightarrow GL_2 (F_3)$ arise from cohomological cusp forms (i.e. new forms of weight $K \geq 2$).

## Pseudorandom generators for unordered branching programs

We present an explicit pseudorandom generator with seed length $\tilde{O}((\log n)^{w+1})$ for read-once, oblivious, width $w$ branching programs that can read their input bits in any order. This improves upon the work of Impaggliazzo, Meka and Zuckerman where they required seed length $n^{1/2+o(1)}$.

## Higher Hida theory

## Language edit distance, $(\min,+)$-matrix multiplication & beyond

The language edit distance is a significant generalization of two basic problems in computer science: parsing and string edit distance computation. Given any context free grammar, it computes the minimum number of insertions, deletions and substitutions required to convert a given input string into a valid member of the language. In 1972, Aho and Peterson gave a dynamic programming algorithm that solves this problem in time cubic in the string length. Despite its vast number of applications, in forty years there has been no improvement over this running time.

## Morse-Bott cohomology from homological perturbation

## Functoriality and algebraic cycles

Abstract: I will discuss the following question: is Langlands functoriality given by algebraic cycles? After a survey of some examples of interest, the talk will focus mostly on one case, namely that of inner forms GL(2) over a totally real field. In this case, we can show that functoriality is given by something close to an absolute Hodge cycle; moreover, there is some hope of doing even better. (Joint work with Atsushi Ichino.)