Yaël Dillies

PhD student, Matematiska Institutet, Stockholm University
Joined
April 2025

Names

Yaël Dillies (Preferred)

Emails

****@math.su.se (Confirmed)
, 
****@cam.ac.uk

Personal Links

Career & Education History

PhD student
Matematiska Institutet, Stockholm University (su.se)
2024 – Present
Undergrad student
University of Cambridge (cam.ac.uk)
2020 – 2024

Advisors, Relations & Conflicts

No relations added

Expertise

additive combinatorics
, 
sumsets
, 
Bohr sets
, 
almost periodicity
2022 – Present
theorem proving
, 
Lean
, 
formalisation
2020 – Present

Publications

Co-Authors