Yaël Yanis DilliesDoktorand
Om mig
Jag är doktorand i mitt andra år under Olof Sisask och Thomas Bloom.
Mina pronomen är de/dem.
Undervisning
HT25: Jag kommer att assistera på kursen Kombinatorik under perioderna C och D.
VT26: Jag kommer att assistera på kursen Kryptografi under perioderna A och B.
Forskning
Jag följer två huvudsakliga forskningsinriktningar.
Den första är additiv kombinatorik. Jag använder en egenskap hos funktioner som kallas nästan periodiskhet för att undersöka mängder i R^n vars familj av translationer har liten VC-dimension (vilket är ett mått på ”enkelhet”).
Den andra är formalisering. Jag omvandlar matematik på papper (främst kombinatorik, men också viss algebraisk geometri) till formell kod med hjälp av Lean-teorembevisaren. Jag är en av de huvudsakliga bidragsgivarna till Lean-biblioteket Mathlib och ett av mina viktigaste resultat är formaliseringen av det senaste genombrottet inom polynomisk Freiman-Ruzsa-konjekturen.