• D.Sc. (honoris causa), National University of Ireland (2011)
  • Ph.D. (Computer Science), University of Toronto (1978)
  • M.Sc. (Computer Science), University of Toronto (1973)
  • B.Sc. (Mathematics and Computer Science), University of Toronto (1972)