Ò»±¾µÀÎÞÂë

Joseph Hua

Ph.D. Student

Bio

Hometown: Shanghai, China

Education

M.S. Mathematics, Imperial College London

Research

• Type theory
• Formalising mathematics
• Logic