Hi there! I’m a Ph.D. candidate at the University of Pennsylvania, currently in my fourth year. I am doing mathematical logic, particularly functional proof interpretation and continuous logic.
Email: sapeaude AT sas DOT upenn DOT edu
Office: 4C11
Address: David Rittenhouse Laboratory, 209 South 33rd Street, Philadelphia, PA 19104
Some background:
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 currently a graduate student at UPenn and my thesis advisor is Henry Towsner. I am primarily interested in the foundation of mathematical reasoning and consequentially more familiar with set theory and proof theory. I am always excited to learn and discuss various topics within the broad field of logic, such as type theory and substructural logics.
I have two cats:
![](https://web.sas.upenn.edu/jinwei/files/2023/04/IMG_8394-e1680496104788-225x300.jpeg)
![](https://web.sas.upenn.edu/jinwei/files/2023/04/IMG_0199-300x225.jpeg)
You can follow me on twitter: