I am a first year DPhil student at Oxford, supported by the Simons Collaboration on Special Holonomy in Geometry, Analysis, and Physics . My supervisor is Dominic Joyce.

Click here to download my CV.

Email: jacob.gross@maths.ox.ac.uk

(with J. Avigad). Some contributions to the Lean 2 Standard Library:

(with D.R. Licata, M.S. New, J. Paykin, M. Riley, M. Shulman, and F. Wellen)

Machine-Checked Proof. October 16, 2017. To be featured in

Donaldson Turns 60. August 20, 2017. To be featured in

Some Funding Opporunities for Graduate Students in Mathematics. July 19, 2017.

Experience at an AMS Research Community. June 23, 2017.

Optimal Control Theory to Settle Reinhardt's Conjecture. May 31, 2017.

Introduction to Seiberg-Witten Theory. Graduate Lectures on the ASD Equation in Low Dimensions. Mathematical Institute, Oxford University. November 22, 2017. (lectured from https://math.berkeley.edu/~hutching/pub/tn.pdf )

Donaldson Invariants and Moduli of Yang-Mills Instantons. Graduate Lectures on the ASD Equation in Low Dimensions. Mathematical Insitute, Oxford University. November 22, 2017.

The Lurie Tensor Product. Derived Algebraic Geometry Reading Group. Mathematical Institute, Oxford University. October 31, 2017.

The Language of (oo,1)-Categories. Derived Algebraic Geometry Reading Group. Mathematical Institute, Oxford University. October 25, 2017.

Geometries by Holonomies. Seminar on Geometry, Topology, and Physics. University of Pittsburgh. March 29, 2017.

Modular Forms: Using Analysis to Solve a Problem in Number Theory. Pitt Math Club. University of Pittsburgh. February 8, 2017.

Cannonballs and Uber. Undergraduate Mathematics Seminar. University of Pittsburgh. February 1, 2017.

Riemann-Roch and Elliptic Curves. Seminar on Geometry, Topology, and Physics. University of Pittsburgh. January 18, 2017.

Mechanized Proof. Algebra, Geometry and Combinatorics Graduate Student Research Seminar, University of Pittsburgh. October 13, 2016.

The Lean Theorem Prover. AARMS Summer School Student Conference, Dalhousie University. July 23, 2016.

A Taste of Topos Theory. Summer Seminar on Algebra, University of Pittsburgh. June 16, 2016.

C^oo Schemes and Synthetic Differential Geometry. Seminar on Advanced Topics in Logic, Carnegie Mellon University. March 29, 2016.

The Axiom of Choice and its Discontents. Pitt Math Club, University of Pittsburgh. February 22, 2016.

Categorical Logic. Notes from a course taught by Mike Shulman and Peter Lumsdaine at the 2016 AARMS Summer School.

L'Espace Étale. An expository note on the adjoint equivalence between étale bundles and sheaves on a space.

CIA: Some Upper Triangular Matrix Rings and Noetherian/Artinian Hypotheses. Some counterexamples in non-commutative algebra. For counterexamplesinalgebra.