## About me:

Hi there! I’m a third-year math Ph.D. candidate at the University of Pennsylvania. I am doing mathematical logic, currently interested in functional interpretation in proof theory 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 in my junior year, primarily because I accidentally took a logic course and really enjoyed it while simultaneously not quite enjoying thermodynamics. I thus had a relatively interesting route of math education: the first homomorphism I learned is model homomorphism and my first concrete topological space are Polish spaces.

Beside math, I love traveling, gaming, ancient history, and classics. My favorite historical figures are Cicero, Scipio Africanus and Maximilian I of the HRE. My name in Chinese characters is *魏晋*, which refers to a certain period in Chinese history; I also make a Latin name following the *tria nomina* rule: *Marcus Cornelius Maximilius*.

I have three cats. They are Catul, Porci, and Coconut.

###### Note: this site is still under construction

You can follow me on twitter: