Video Lectures

Given a trivalent graph embedded in 3-space, we associate to it an instanton homology group, which is a finite-dimensional $\mathbf{Z}/2$ vector space. The main result about the instanton homology is a non-vanishing theorem, proved using techniques...

I will describe several old and new applications of topological and algebraic methods in the derivation of combinatorial results. In all of them the proofs provide no efficient solutions for the corresponding algorithmic problems. Finding such...

I'll review recent progress on properties of 3-manifold groups, especially following from geometric properties. Then I'll discuss some open questions regarding 3-manifold groups, including their profinite completions, torsion in covers, orderability...

In [kal89], Kaltofen proved the remarkable fact that multivariate polynomial factorization can be done efficiently, in randomized polynomial time. Still, more than twenty years after Kaltofen's work, many questions remain unanswered regarding the...