Thomas has been named ACM Distinguished Member. Nice!

ACM press release: Here