Aeacus Sheng
Master's Student
Contact
5000 Forbes Avenue
Pittsburgh, PA 15213
- Baker Hall 135L
5000 Forbes Avenue
Pittsburgh, PA 15213
Bio
Hometown: Beijing/Nanjing, China & Fort Lee, NJ
Education
BSc in Pure Mathematics, Imperial College London
Research
- Mathematical Logic and Foundations of Mathematics
- History and Philosophy of Mathematics and Logic
- Formal Verification and Automated Reasoning
Interests
- Philosophy of Language
- Philosophy of Science
- History of Analytic Philosophy