Tianxiang Gao

Master's Student

Bio

Hometown: Beijing, China

Education

B.S. in Data Science and Big Data Technology, Peking University

Research

• Type theory, intuitionistic logic
• Modal logic
• Mathematical logic
• Philosophy of language, metaphysics