from Celina, OH
1957
Victoria University of Wellington
Position:President • Mathematician • Author • Computer scientist
University of Queensland • Monash University
Area of science:Computational complexity theory • Recursion theory • Mathematical logic
Academic degree:Professor
Fellow of the American Mathematical Society • Fellow of the Association for Computing Machinery