Fellow
United States – 2013
CITATION

For contributions to the theory and practice of synchronization in concurrent programming.