Fellow
United States – 2001
CITATION

For encouraging the use of formal methods in the development of telecommunication software through influential research, tool development, large case studies, and professional education.