Joseph Hua
Ph.D. Student
Contact
5000 Forbes Avenue
Pittsburgh, PA 15213
- Baker Hall 135L
5000 Forbes Avenue
Pittsburgh, PA 15213
Bio
Hometown: Shanghai, China
Education
M.S. Mathematics, Imperial College London
Research
- Type theory
- Formalising mathematics
- Logic