I'm a firstyear graduate student at Harvard. I'm broadly interested in algebraic topology and arithmetic geometry, but my interests are constantly changing. Outside of math, I spend a bunch of time playing the drums, listening to instrumental prog metal, biking, and playing basketball. I was an undergraduate at MIT, where I majored in math (course 18) and minored in physics (course 8).
Here are the courses that I've taken, as well as a blog (which I have been horrible about updating). 
Writings
Some projects

Quantization and Koszul duality.
Discusses the theory of deformation quantization from a Koszul dual perspective, roughly allowing us to view deformation quantization as the datum of an \(S^1\)action. In characteristic \(p\), this can be refined further: restricted deformation quantization can roughly be viewed as the datum of an \(S^1\)action along with a cyclotomic structure. Applications to the deformation theory of schemes are discussed. 
On the James and HiltonMilnor Splittings, and the metastable EHP sequence (2019), joint with Peter Haine. Last update: November 2020. arXiv.
Studies the James and HiltonMilnor splittings and the metastable EHP sequences in higher category theory; this allows a generalization of the James and HiltonMilnor splittings to motivic spaces over any base scheme. Two proofs of the metastable EHP sequence are provided; one is new and noncalculational, and (essentially) only utilizes the BlakersMassey theorem. 
Higher chromatic Thom spectra via unstable homotopy theory (2020). Last update: June 2020. arXiv.
Proves that a conjecture in unstable homotopy theory related to the CohenMooreNeisendorfer theorem, coupled with a conjecture about the \(\mathbf{E}_3\)centrality of a certain element in the homotopy of Ravenel’s \(X(n)\) spectra, leads to a construction of truncated BrownPeterson spectra, \(\mathrm{bo}\), and \(\mathrm{tmf}\) as Thom spectra (albeit not over the sphere); this is a higher chromatic analogue of the HopkinsMahowald theorem constructing \(\mathrm{H}\mathbf{F}_p\) as a Thom spectrum. The construction of tmf via this method is used to show that these conjectures imply that the string orientation \(\mathrm{MString} \to \mathrm{tmf}\) splits.
Last update: fixed some embarassing typos. 
The AndoHopkinsRezk orientation is surjective (2019). Last update: January 2020. arXiv.
Shows that the AndoHopkinsRezk orientation \(\mathrm{MString} \to \mathrm{tmf}\) is surjective on homotopy. This is done by constructing an \(\mathbf{E}_1\)ring \(B\) with an \(\mathbf{E}_1\)map \(B\to \mathrm{MString}\), and showing that the composite \(B \to \mathrm{MString} \to \mathrm{tmf}\) is surjective on homotopy. File for generating the Adams chart via Hood Chatham’s Ext calculator. 
Hodge theory for elliptic curves and the Hopf element \(\nu\) (2019). Last update: April 2020. arXiv.
Shows that the sheaf on the moduli stack of elliptic curves associated to \(\nu\) is isomorphic to the de Rham cohomology of the universal elliptic curve. Uses this to study the \(\mathbf{E}_1\)quotient of \(\mathrm{tmf}\) by \(\nu\) by relating it to the moduli stack of elliptic curves with a chosen splitting of the Hodge filtration; this results in a calculation of the resulting descent/AdamsNovikov spectral sequence. Latest version fixes a small calculational error (results remain unchanged). 
Roots of unity in \(K(n)\)local rings (2017). Published in Proc. Amer. Math. Soc. Last update: November 2019. arXiv.
Shows that for \(n>0\), any \(K(n)\)local \(H_\infty\)ring \(R\) with a primitive \(p^k\)th root of unity in \(\pi_0 R\) is trivial. This implies that the LubinTate tower does not lift to a tower of derived stacks over Morava Etheory.  Two books on algebraic topology, notes from course taught by Haynes Miller.
Last update: April 2018.
 Algebraic Topology I (2018). Published online with the AMS; also available on MIT OpenCourseWare.
 Haynes’ edits of the notes Algebraic Topology II (2018). Those notes are a cleaned up version of the somewhatcleanedup version of my edited notes.

The Dieudonn’e modules and EkedahlOort types of Jacobians of hyperelliptic curves in odd characteristic (2017), with John Halliday. Last update: December 2017. arXiv. Provides explicit formulae for the Frobenius and Verschiebung acting on the mod p Dieudonn’e module of the Jacobian of a hyperelliptic curve, when p is an odd prime. These formulae are used to settle some questions posed by Glass and Pries from 2004. The code used is available at this github repository.

The LubinTate stack and GrossHopkins duality (2017). Last update: July 2018. arXiv.
Uses derived algebraic geometry to provide proofs and generalizations of some duality phenomena in K(n)local stable homotopy theory. (Fixed some typos and technical errors, and some results on K(n)local SpanierWhitehead selfduality of higher real Ktheories.) 
Talbot proceedings: Obstruction theory for structured ring spectra (2017), joint with Eva Belmont et. al. Last update: September 2017.
The proceedings from the Talbot workshop on obstruction theory for structured ring spectra, which took place from May 2127, 2017.  The importance of theoretical research (2018). Article published in The Tech.
Notes
 Discrete adic spaces. Notes for a talk on discrete adic spaces for the Thursday seminar on condensed math. Last update: November 2020.
 Splitting cobordism spectra. Slides for an invited talk at Tsinghua University about my work on higher chromatic Thom spectra. Last update: August 2020.
 The Balmer spectra of spectral stacks. Proves that the Balmer spectrum of nice spectral algebraic stacks separates into a “homotopytheoretic” part and an “algebrogeometric” part. Last update: May 2020.
 The BogmolovTianTodorov theorem, notes on the BogomolovTianTodorov theorem in characteristic zero and characteristic p. Proves a generalization of this theorem to the noncommutative setting (in arbitrary characteristic), as the formality of a certain dgLie algebra. Last update: June 2020.
 The nonabelian Hodge correspondence, notes for a talk given for CORONAGS (Corona OutbreakResponse Omnipresent (Noncommutative) Algebraic Geometry Seminar). I’ve got slides, which contain more information than the notes. Last update: March 2020.
 The RiemannHilbert correspondence, notes for a talk given on the Dmodule Day for the seminar on mixed Hodge modules. Also, I’ve got slides, which contain more information than the notes. Last update: March 2020.
 Representations of Frobenius kernels, notes for a talk given at the Langlands Support Group on modular representation theory. Last update: March 2020.
 Not mine, but a scan of MahowaldUnell’s Bott Periodicity at the Prime 2 in the Unstable Homotopy of Spheres. Thanks to Peter May for providing the (sole surviving?) physical copy.
 Loop groups and their representations, notes for a talk given at Juvitop. Last update: November 2019. Has some errors that I’ll fix soon.
 Dynamical properties of quantum systems with fractional statistics, final paper for 8.06 (quantum mechanics III). Last update: April 2019.
 Some handwritten lecture notes, which I’ve actually ended up scanning. Here are my scanned lecture notes from some talks at the 2017 UIUC conference.
 Stable splittings of classifying spaces of compact Lie groups, for a talk at the Thursday seminar at Harvard. Last update: November 2018.
 The Morava Ktheory of EilenbergMacLane spaces, for a talk at Juvitop. Last update: October 2018.
 Notes from 8.321 (graduate quantum mechanics). Last update: October 2018.
 Anderson duality for derived stacks. Last update: August 2018. Gives a noncomputational argument proving that many derived stacks are Anderson selfdual.
 Lecture notes on chromatic homotopy theory. Last update: July 2018. Lecture notes from a course which I taught in January 2018.
 Equivariant versions of Wood’s theorem. Last update: July 2018. Proves using derived algebraic geometry that Wood’s theorem holds for Gequivariant Ktheory (a result due to Mathew, Naumann, and Noel) and Gequivariant periodic TMF, where G is a compact abelian Lie group.
 Orientations of derived formal groups, for a talk at Juvitop. Last update: April 2018.
 Slides from my talk on “Roots of unity in \(K(n)\)local \(\mathbf{E}_\infty\)rings”, at JMM 2018 (in San Diego, California).
 Examples of Goodwillie Calculus, for a talk at Juvitop. Last update: October 2017.
 Milnor’s exotic spheres, for a talk at the Kan seminar. Last update: September 2017.