I am a Mathematical Physics PhD student at UC Berkeley, in the Leinweber Institute for Theoretical Physics. My office is 420C Physics South and my office hours for Fall 2025 are Fridays 11AM–12PM. 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.

Formalized Mathematics

From 2017 until 2021, my collaborators and I worked on the formal verification of the proof of Hilbert’s Tenth Problem. In 2018, we won a Gold Medal and the President’s Prize, at the National Science Fair in Germany (Jugend forscht), for a formally verified proof that exponentiation is Diophantine, the key step in this proof.

This is still an active line of work eight years later. At the 2026 International Congress of Mathematicians, I will be presenting a Short Communication in Section 3: Number Theory, about our most recent work on Hilbert’s Tenth Problem and its formal verification.

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

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 by the Graduate Division in recognition of my work.