I am a PhD student at Yale advised by Prof. Zhong Shao. My research interests lie in formal verification, logic, category theory, and game semantics.
I design compositional theory to verify large-scale real-world systems
My research is dedicated to building mathematical frameworks that guarantee the correctness of complex software systems, from today’s concurrent hardware to the emerging frontier of quantum computing. ⚛️
Skills
%
Adga
%
Python
%
Coq
Education
2022-present
PhD Student
Yale University
PhD student at Yale advised by Prof. Zhong Shao
2019-2022
Double Degree in Math & Computer Science
Ecole Polytchnique
Graduate with Summa Cum Laude Bachelor’s Thesis advisor: Samuel Mimram