I use relationships between new invariants of links and three and fourmanifolds to better understand knots, knotted surfaces, and contact structures. My research is motivated by connections between Khovanov homology and Heegaard Floer homology first observed by Ozsváth and Szabó. With Diana Hubbard, I constructed an extension of Plamenevskaya's invariant of transverse links in Khovanov homology. Our definition is analogous to Hutchings, Latschev, and Wendl's definition of algebraic torsion in embedded contact homology and Heegaard Floer homology. We show that our invariant solves the word problem in braid groups, and we use it to disprove a conjecture about the length of a certain Khovanovtheoretic spectral sequence. I have written a computer program to calculate the invariant, available here. Numerical evidence suggests that a related invariant is an effective invariant of transverse links. 

I am applying similar techniques to the recently discovered trisections of fourmanifolds and knotted surfaces. What can Khovanov homology tell us about Meier and Zupan's bridge trisections of knotted surfaces? In recent work, I construct an Ainfinity algebra which is not quite an invariant of the surface but which may be useful in understanding stabilization of bridge trisections. (I previously claimed that there was a Z/2Zvalued invariant of isotopy classes in this Ainfinity algebra, but I've withdrawn that claim due to a technical issue. I outline the idea for an invariant in the preprint.) These invariants should have analogues in trisections of fourmanifolds via Heegaard Floer homology. 

The OzsváthSzabó spectral sequence is one of many (at least eight!) spectral sequences from Khovanov homology to an invariant of links or manifolds. Following work by Baldwin, Hedden, and Lobb, I defined strong KhovanovFloer theories, i.e. gadgets which assign, to a link, a filtered complex whose associated spectral sequence extends from Khovanov homology. I showed that every strong KhovanovFloer theory is functorial with respect to link cobordism. This implies that Szabó's geometric theory, the OzsváthSzabó spectral sequence, and singular instanton link homology are all functorial. I applied these techniques to show that each of those theories is invariant under link mutation. In ongoing work with John Baldwin and Cotton Seed I use similar techniques to construct a tangle theory for Szabó's geometric spectral sequence. I think it's also a good first step towards axiomatization of these theories and applications to contact topology. I showed that the OzsváthSzabó spectral sequence can be constructed from simple Heegaard diagrams with a more obvious connection to Khovanov homology. It is easy to "see" the transverse and contact invariants in these diagrams. They also play a role in showing that Heegaard Floer homology produces a strong KhovanovFloer theory. 
Papers:

with Diana Hubbard, An annular refinement of the transverse element in Khovanov homology. Algebraic and Geometric Topology 16 (2016) 2305–2324.

Strong KhovanovFloer theories and functoriality. Accepted for publication Journal of Topology

Invariants of knotted surfaces from link homology and bridge trisections, 2018.

Branched diagrams and the OzsváthSzabó spectral sequence . Submitted, 2017.

with John Baldwin and Cotton Seed, A tangle theory for Szabó's geometric link homology theory. Draft available on request.