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:
You can follow me on twitter: