Fellow
United States – 2014
CITATION

For contributions to software analysis, testing, and verification.