Kuen-Bang Hou headshot
Past Member

Kuen-Bang Hou

Funding provided by the National Science Foundation

Affiliation

Mathematics

Field of Study

Mechanized Reasoning
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