Yaël Yanis Dillies Doktorand
Kontakt
Namn och titel: Yaël Yanis DilliesDoktorand
ORCID0000-0002-5369-8671 Länk till annan webbplats.
Arbetsplats: Matematiska institutionen Länk till annan webbplats.
Besöksadress Albano hus 1
Postadress Matematiska institutionen106 91 Stockholm
Forskargrupp
Om mig
Jag är doktorand i mitt andra år under Olof Sisask och Thomas Bloom.
Mina pronomen är hen/hens.
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.
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.