David Wärn

email: warnd@chalmers.se

I am a PhD student in the Department of Computer Science and Engineering at the University of Gothenburg, supervised by Thierry Coquand and Christian Sattler. My research is about developing mathematics in homotopy type theory. I am also generally interested in constructive mathematics, proof assistants, and homotopy theory. I started my PhD in 2021, and before that I studied pure mathematics at Trinity College, Cambridge (BA+MMath).



In preparation

Older work

I have made some contributions to Lean's library of formalised mathematics, mostly before the start of my PhD:

Partinioning permutations into monotone subsequences: the result of a 2020 summer research project in combinatorics, supervised by Imre Leader.