I am a Mathematical Physics Ph.D. student at UC Berkeley, in the Leinweber Institute for Theoretical Physics. My office is 420C Physics South and office hours are by appointment. Before joining Berkeley, I completed my M.Sc. at the École Normale Supérieure de Paris.

My work has been published in physics journals, mathematics periodicals and computer science conferences. My interests are interdisciplinary and include mathematical string theory, knot theory, axiomatic quantum theory, physics-informed neural networks, Diophantine equations and Hilbert’s Tenth Problem, and formalized mathematics.

Spring 2026 – Recruiting URAP students
We are launching a formalization project of \(A_\infty\)-category theory in Lean.
Read the full project description and apply here by Monday, Jan 26, 2026 at 4pm.

Formalized Mathematics

My collaborators and I formally verified the proof of Hilbert’s Tenth Problem in Isabelle. In 2018, we received a Gold Medal and the President’s Prize at the German National Science Fair (Jugend forscht) for a formally verified proof that exponentiation is Diophantine. The questions surrounding this problem continue to fascinate me eight years later.

At the 2026 International Congress of Mathematicians, I will present a Short Communication on our latest extension of Hilbert’s Tenth Problem. This is one of the first mathematics preprints accompanied by a formal proof at time of publication. For its formalization, Jonas Bayer and I recruited a team of ~20 talented students at ENS Paris, Cambridge and Berkeley.

Previously, I co-organized the Proof Between Generations workshop on the role of formalized mathematics in research and education at the 6th Heidelberg Laureate Forum (2018). Following the workshop, many participants contributed to an eponymous collage article, published in the Notices of the AMS in January 2024, which I co-edited and co-authored.

Teaching News

In Fall 2025, I am honored and excited to serve as the Graduate Student Instructor for HISTORY 182CT Introduction to Science, Technology & Society, with UC Berkeley’s K–12 teacher education program CalTeach.

After my first year of teaching at UC Berkeley, I was awarded the Outstanding Graduate Student Instructor Award in recognition of my work in the classroom.