Fellow
United States – 1997
CITATION

For contributions in the areas of formal specification and verification of systems, computer system security and reliability, specification language design, and software engineering.