Person. Robert Lee Constable Cornell University · cs.cornell.edu/home/rc PhD advisorStephen Cole Kleene PhD studentsEdmund Clarke, Karl Crary, Steven S. Muchnick PhDUniversity of Wisconsin–Madison Master’sUniversity of Wisconsin–Madison UndergraduatePrinceton University