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.
Chemical engineering student at EPFL
