Fellow
United States – 2005
CITATION

For contributions to logic in computer science.