Yaël Yanis Dillies
About me
I am a second year PhD student under Olof Sisask and Thomas Bloom.
My pronouns are they/them.
Teaching
HT25: I will be TAing the Kombinatorik course in periods C and D.
VT26: I will be TAing the Cryptography course in periods A and B.
Research
I follow two main strands of research.
The first one is additive combinatorics. I use a property of functions called almost periodicity to investigate sets in R^n whose family of translates has small VC dimension (which is a measure of "simplicity").
The second one is formalisation. I turn paper mathematics (mostly combinatorics, but also some algebraic geometry) into formal code using the Lean theorem prover. I am one of the main contributors to the Lean library Mathlib and one of my landmark results is the formalisation of the recent breakthrough on the Polynomial Freiman-Ruzsa conjecture.
$presentationText