Fellow
United States – 1996
CITATION

For leadership in computing through academic and government administration, service to professional societies, and research on reliable systems, software testing and analysis.