Home

Thomas C. Hales

PhD, Princeton University
Mellon Professor, University of Pittsburgh

Office: Thackeray 416

Email: MYLASTNAME AT PITT DOT EDU

About Me

Research  

  • Please visit my publication page.  My research areas include representation theory, formal proofs, motivic integration, and discrete geometry.  
Comments