About

About Me

I am currently a PhD student at Yale, advised by Zhong Shao. In my free time, I also like photography and watch making.

My Skills

%
Agda
%
Python
%
Photoshop
%
Coq

Education

2022-Present

Yale University

PhD student

Advised by Zhong Shao, working on formal verification.

2019-2022

Ecole Polytechnique

Bachelor of Science in Math and Computer Science

Guraduate with Summa Cum Laude

Experience

Spring, 2025

ACME Company

Teaching Fellow, Yale University

CPSC 465: Theory of Distributed Systems

Fall, 2024
Teaching Fellow, Yale University

CPSC 365: Algorithm

Spring, 2024
Teaching Fellow, Yale University

CPSC 463: Algorithm for Convex Optimization

Fall, 2023
Teaching Fellow, Yale University

CPSC 455: Economics and Computation