Yaël Yanis Dillies
Contact
Name and title: Yaël Yanis Dillies
Mail: yael.dillies@math.su.se
ORCID0000-0002-5369-8671 Länk till annan webbplats.
Workplace: Department of Mathematics (incl. Math. Statistics) Länk till annan webbplats.
Visiting address Albano hus 1
Postal address Matematiska institutionen106 91 Stockholm
About me
I am a second year PhD student under Olof Sisask and Thomas Bloom.
My pronouns are they/them.
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.
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.