Yaël Dillies (Preferred)
Yaël Dillies
PhD student, Matematiska Institutet, Stockholm University
- Joined April 2025
Names
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
Expertise
additive combinatorics, sumsets, Bohr sets, almost periodicity
2022 – Present
theorem proving, Lean, formalisation
2020 – Present