Posts by Collection

Portfolio item number 1

Short description of portfolio item number 1

Portfolio item number 2

Short description of portfolio item number 2

Verdier sequences for exact categories

Joint with Yonatan Harpaz. In preparation.

Higher \(K\)-theory of forms III: from chain complexes to derived categories

Joint with Marco Schlichting. We show how to canonically derive an exact form category in the sense of Schlichting to a Poincaré category in the sense of the nine authors, and exhibit a natural equivalence between the Grothendieck-Witt spectra associated to each.

On the hermitian \(K\)-theory of the stable envelope

This is a local, semistable version of my thesis, last updated May 2026.

Monoidal categories and localisation

Joyal’s lifting theorem

Homotopy type theory and univalent foundations

Theorems of the cube and square and applications

Lindel’s solution to the Bass-Quillen conjecture in the geometric case

The universal property of motivic spectra

Deriving the K-theory of forms

Deriving the higher K-theory of forms

Locally 2-ringed topoi and comparison transformations

Preliminaries on higher internal categories

Internal colimits I

Deriving the higher K-theory of forms

The Bass-Quillen conjecture and affine representability for vector bundles

Graduate TA, 2021-25

, University of Warwick, 2024

• TA for MA4J7 Cohomology and Poincaré Duality, 2024.
• TA for MA4H8 Ring Theory, 2024.
• TA for MA268 Algebra III, 2023.
• TA for MA3G6 Commutative Algebra I and MA249 Algebra II: Groups and Rings 2022-23.

Postdoctoral Teaching Fellowship, 2025-27

, University of Warwick, 2025

• TA for MA3G6 Commutative Algebra, Winter term 2025
• TA for MA3K7 Problem Solving with Python, Spring term 2026
• Personal tutor for 10 tutees
• Supervisor for 15 first year mathematics and statistics students