 He was named to the American Academy of Arts and Sciences in 2010.He was included in the 2019 class of fellows of the American Mathematical Society "for contributions to the development and use of mathematical logic in computer science".He has also co-chaired the ACM Task Force on Job Migration.