The Association for Computing Machinery recognized him "For Outstanding Scientific Contributions to Computing.”
