
_START_ARTICLE_
托马斯·黑尔斯
_START_SECTION_
教育背景
_START_PARAGRAPH_
他于普林斯顿大学获得博士学位。
_START_SECTION_
数学生涯
_START_PARAGRAPH_
黑尔斯原来在密歇根大学任教，现于匹兹堡大学梅隆数学家大学教授任教，在一个证明正在逐渐变得复杂而且计算机正在成为完成验证的必要方式的时代，他主张数学正规化以确保证明严格。黑尔斯当前研究项目的方向，被称为小斑点，他旨在正规化开普勒猜想在计算机理论上的证明HOL光。