Past Member
Kuen-Bang Hou
Funding provided by the National Science Foundation
Affiliation
Mathematics
Field of Study
Mechanized Reasoning
Website
From
–
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
School of Mathematics
–
Degrees
Carnegie Mellon University
Ph.D.
2017