Bob Constable
Doctorate from University of Wisconsin
in 1968
Adviser: Stephen Kleene
Students:
- Tat-hung Chan (Cornell University, 1980)
- John Cherniavsky (Cornell University, 1972)
- Edmund Clarke (Cornell University, 1976)
- Rance Cleaveland (Cornell University, 1987)
- Carl Hauser (Cornell University, 1980)
- Dean Krafft (Cornell University, 1981)
- Kurt Mehlhorn (Cornell University, 1974)
- Steve Muchnick (Cornell University, 1974)
- Mike O'Donnell (Cornell University, 1976)