Navigation

Home


Thomas C. Hales

PhD, Princeton University
Mellon Professor, University of Pittsburgh

Thackeray 416
412-624-8375

Email: MYLASTNAME AT PITT DOT EDU

Encryption Works! Fight surveillance!
  • Chat with OTR messaging; browse with tor and https; disable javascript and cookies; encrypt your cloud storage (dropbox, etc.); synchronize files with bit torrent sync; boycott products (gmail, skype, etc.) that are based on privacy policies rather than end-to-end encryption; shutter FB; become a cryptographer and design anti-surveillance tools; smash your tracking devices (cell phones); voice your rights; march on Washington.
Blog

About Me

Teaching, Thesis supervision, and Local

Pitt Algebra, Combinatorics, and Geometry Research Group

Recent Research  

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)

External Search

Causes

Join The Boycott of Elsevier
    

Remember
    "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!

Comments