Fellow
United States – 2006
CITATION

For contributions to dataflow computing and verification.