Fellow
United States – 2013
CITATION

For contributions to algorithmic approaches to program reliability, bioinformatics, and for service to the computer science research community.