Thomas C. Hales
PhD, Princeton University
Mellon Professor, University of Pittsburgh
Email: MYLASTNAME AT PITT DOT EDU
Encryption Works! Fight surveillance!
Pitt Algebra, Combinatorics, and Geometry Research Group
- Please visit my publication page. My research areas include representation theory, formal proofs, motivic integration, and discrete geometry.
Join The Boycott of Elsevier
"Don't use manual procedures" -Andrew Hunt and David Thomas and ... "don't rely on social processes for verification" -David Dill
License This site is licensed under creative commons. Help yourself!