Current Member

Kuen-Bang Hou

Funding provided by the National Science Foundation
Affiliation
Mathematics
Field of Study
Mechanized Reasoning
Home Institution
Institute for Advanced Study

Mechanized reasoning has been developed to establish the correctness of computer programs or hardware design, and Kuen-Bang Hou believes it can provide a further guarantee of correctness for mathematical results. However, current tools seem inaccessible to most mathematicians, and he would like to improve these tools to remove potential technical obstacles.

Dates at IAS
Member
  • Mathematics
9/2017current
Degrees
Carnegie Mellon University Ph.D., 2017