About Jérémy Digard
Mathematics researcher at EPFL, Laidlaw Scholar, and systems optimizer. I specialize in formalizing mathematics in Lean 4 (currently researching with Fields Medalist Prof. Maryna Viazovska) and building high-performance software.
I don't just study systems; I look for their underlying logic to optimize them. My recent work ranges from deploying production software that uses Max-Plus algebra to reduce event logistics complexity to , to building decentralized parametric insurance on the blockchain and coding real-time cognitive analysis AI pipelines.
With a background in local politics (former Town Councilor) and a certification in behavioral psychology (PCM), I am fascinated by the intersection of human behavior and pure logic. When I'm not writing proofs or coding, you can find me rowing or trying to teach Lean 4 to my grandmother.
I am a/an:
University
Laidlaw Cohort Year
Research Topic
Area of Expertise
I am from:
I speak:
My hobbies/interests are:
Followers
Youness Robert-Tahiri
MSocSci Psychology Candidate (Laidlaw Scholars Alumnus), University of Cape Town