University of Pittsburgh: Thomas C. Hales



	Thomas C. Hales PhD, Princeton University Mellon Professor Representation theory, formal proofs, motivic integration, discrete geometry, honeycombs and foams. Thackeray 416 412-624-8375 Email: MYLASTNAME AT PITT DOT EDU

	I suppose you are two fathoms deep in mathematics, and if you are, then God help you, for so am I, only with this difference, I stick fast in the mud at the bottom and there I shall remain. -Charles Darwin Don't use manual procedures -Andrew Hunt and David Thomas and ... don't rely on social processes for verification -David Dill
Sabbatical Leave	I am on sabbatical leave from May 2007 until June 2008. I will not be answering email regularly during this period, except for correspondence related to the flyspeck project. Max Planck Institute, Bonn, Germany, May 1-31, 2007 E.N.S. Paris, France, 6/1/2007- 7/15/2007 Reykjavik, Iceland, 7/15/2007 - 8/15/2007 Pittsburgh, PA, 8/15/2007 - 8/22/2007 Mathematical Institute, Hanoi, Vietnam, 8/22/2007-1/4/2008 AMS Meetings, San Diege, CA 1/5/2008 - 1/9/2008 Pittsburgh, PA 1/9/2008 - 1/15/2008 Math and Computer Science, Radboud University, Nijmegen, Netherlands, 1/15/2008 - 4/30/2008 Strasbourg, France, May 2008 Budapest, Hungary, July 2008
Research	The Kepler Conjecture, (What is the densest arrangement of spheres in space?) Flyspeck Project Page (Become involved in the Formal Proof of the Kepler Conjecture.)
Links	Google search on the Kepler Conjecture Google search on the Honeycomb Conjecture Google search on Flyspeck
License	This web site is part of the creative commons.
Mathematics Home \| Pitt Home \| Finding People \| Top of Page