Thomas C Hales

Regents Of The University Of Michigan - Ann Arbor

$1,097,093

Attributed

$1,097,093

Total exposure

Grants

Lead (contact PI)

Attributed= this PI's even-split share of every grant they're on (the fair, additive number). Exposure = full size of all those grants. They are the sole PI on all grants (the two match).

Funding over time

peak $446K · FY2005–12

$500K$375K$250K$125K$0

'05

'06

'07

'08

'09

'10

'11

'12

Funding mix

By agency

NSF$1,097,093 · 6

By mechanism

—$1,097,093 · 6

Top collaborators

No co-investigators on record.

Grant awards (6)

The Reinhardt and Ulam Conjectures$175,000

· FY2012 · MPS · contact PI

The Formal Proof of the Kepler Conjecture$445,958

· FY2008 · MPS · contact PI

Formal Foundations of Discrete Geometry$140,000

· FY2005 · MPS · contact PI

Characters, Motives, and First-order Logic$142,804

· FY2003 · MPS · contact PI

Motive Representation Theory$70,831

· FY2002 · MPS · contact PI

Motive Representation Theory$122,500

· FY2000 · MPS · contact PI