I am a Mathematical Physics Ph.D. student at UC Berkeley, in the Leinweber Institute for Theoretical Physics, advised by Mina Aganagić. 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.

Formalized Mathematics

At the 2026 International Congress of Mathematicians, I presented 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, and was written without AI. 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 at the 6th Heidelberg Laureate Forum (2018). 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.

Moreover, I have contributed formalized mathematics to the Isabelle, Lean and Rocq theorem provers. 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.

Knot Invariants from String Theory

The work of my Ph.D. thesis in mathematical physics explores how topological string theory unifies many known knot invariants, using both symplectic geometry and the combinatorial language of homological algebra, via \(A_\infty\)-categories. My project aims at extending Aganagic’s recent proposal for categorified quantum group link invariants also to invariants of link cobordisms, i.e. knotted surfaces in four dimensions. My students and I are actively formalizing the foundations of this field.

Teaching News

In Fall 2025, I was honored 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.