Carnegie Mellon University

Joseph Hua

Joseph Hua

  • Baker Hall 135L
Address
5000 Forbes Avenue
Pittsburgh, PA 15213

Bio

Hometown: Shanghai, China

Education

MSci Mathematics, Imperial College London

Research

  • Type theory
  • Formalising mathematics
  • Logic