Aeacus Sheng

Master's Student

Bio

Hometown: Beijing, 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