Jérémy Digard (He/Him)

Mathematics, EPFL

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:

Staff Member/Trustee of the Laidlaw Foundation

University

EPFL (École Polytechnique Fédérale de Lausanne)

Laidlaw Cohort Year

2020

Research Topic

Computer Science Machine Learning Mathematics

Area of Expertise

Mathematics

I am from:

France

I speak:

English French Spanish

My hobbies/interests are:

Badminton Music Outdoor sports Programming Reading Running/jogging Skiing Travelling

Followers

Details