Thomas C. Hales
PhD, Princeton University
Mellon Professor, University of Pittsburgh
Email: MYLASTNAME AT PITT DOT EDU
Encryption Works! Fight surveillance!
Teaching, Thesis supervision, and Local
Pitt Algebra, Combinatorics, and Geometry Research Group
Research (Representation theory, formal proofs, motivic integration, discrete geometry)
- The Kepler Conjecture (What is the densest arrangement of spheres in space?)
- Flyspeck Project Page (the Formal Proof of the Kepler Conjecture)
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!