I am a postdoc at EPFL, working with Marius Tiba. I recently completed my PhD at the University of Cambridge, supervised by Béla Bollobás. My research interests cover a range of extremal, probabilistic, infinitary, and geometric combinatorics.
Some papers have been verified in Lean and some have "annotated" versions (which are attempts to make the papers easier to read by a human); see the links in the following section for these.
The following list of papers is loaded with javascript, so if it's empty that's probably the issue.