About Me

• Brief Bio

Teaching, Thesis supervision, and Local

• Math 3600, Spring 2012
• Math 2500, Spring 2012
• Pitt's ACOG seminar (Algebra, Combinatorics, and Geometry)
• Graduate students, past and present

Recent Work  

• Mathematics in the Age of the Turing Machine (survey paper on computers in mathematics, to appear in 2012 in a special volume of Lecture Notes in Logic (CUP) in commemoration of the centennial of Turing's birth)
• On the Reinhardt Conjecture (to appear in the Vietnam Journal of Mathematics)
• Dense Sphere Packings: a blueprint for formal proofs (book, Cambridge University Press, to appear in 2012)
• The Strong Dodecahedral Conjecture and Fejes Toth's Contact Conjecture, (arXiv preprint)
• (with A. Solovyev) Efficient formal verification of bounds of linear programs, in LNCS 6824

• Research Papers (incomplete listing)
• The Kepler Conjecture  (What is the densest arrangement of spheres in space?)
• Flyspeck Project Page  (the Formal Proof of the Kepler Conjecture)

External Search

• Google the Kepler Conjecture
• Google the Honeycomb Conjecture
• Google the Flyspeck project
• ArXiv papers by Hales

License  This site is licensed under creative commons.  Help yourself!