ACM Fellows
New Zealand – 2007
CITATION

For contributions to computability and complexity theory.