Fellow
United States – 1998
CITATION

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