For fundamental contributions to the fields of programming language design and specification methodology, and for leadership in matters of computing and public policy.

[Fellows]   [Awards]