Past Member

Kuen-Bang Hou

Affiliation
Mathematics
Field of Study
Mechanized Reasoning
From 9/2017 – 7/2018:

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/20177/2018
Degrees
Carnegie Mellon University Ph.D., 2017