Association for Computing Machinery,
ACM
Distinguished Scientist, 2015.
"The ACM Distinguished Member program, initiated in 2006, recognizes those members
with at least 15 years of professional experience who have made significant accomplishments
or achieved a significant impact on the computing field."
Microsoft,
Most Valuable Professional for Windows and DirectX,
awarded annually 2004-2009.
"Most Valuable Professionals (MVPs) are recognized, credible, and accessible individuals with expertise in one
or more Microsoft products who actively participate in online and offline communities to share their knowledge and
expertise."
ACM Special Interest Group on Algorithms and Computation Theory,
Distinguished Service Prize, 1998.
"In recognition of his distinguished editorship of SIGACT News
over the past seven years, his creation of the online version of SIGACT News
and the SIGACT web pages, and his role in designing the TCS virtual address book
and maintaining the TCS genealogy."