Email: sapeaude AT sas DOT upenn DOT edu

Office: 4C11

Address: David Rittenhouse Laboratory, 209 South 33rd Street, Philadelphia, PA 19104

---

Hi there! I am a math PhD student the University of Pennsylvania, currently in my fifth and last year of graduate school. I study mathematical logic and proof theory under the supervision of Professor Henry Towsner. My thesis project is proof mining on continuous model theory.

I grow up in Henan province in China and went to University of California, Irvine for my undergraduate. I was initially a physics major until switching to math logic in my junior year. I am particularly interested in the foundation of mathematical reasoning and always excited to learn more cool math.

I have two cats: