On Saturday evening I had the privilege of attending the ACM (Association for Computing Machinery) Awards presentation held at the Palace Hotel in San Francisco. I must say it was humbling and exciting to see such amazing computer scientists all in one ballroom. These people have changed and continue changing the computer science field. It was also encouraging to see that there were many brilliant women there.
A friend, Larry Constantine, invited us to attend because he was being awarded ACM Technical Fellow for his many achievements in the computer software field. I was in charge of the camera so I hope the pictures came out!
The Turing Award (this is like the Nobel prize for computer science) was given to Edmund M. Clarke, E. Allen Emerson, and Joseph Sifakis “for their role in developing Model-Checking into a highly effective verification technology, widely adopted in the hardware and software industries.”
Check out the many other award recipients here.