Today, let's remember E. Allen Emerson, a computer scientist born #OTD in 1954. Together with Edmund Clarke and Joseph Sifakis, Emerson received the 2007 #ACMTuringAward for developing Model-Checking into a highly effective verification technology that is widely adopted in the hardware and software industries. Watch Emerson explain Model-Checking in layman’s terms: https://youtu.be/sUwxA8px7O8 #ACM #Computing #TuringAward #ComputerScience #SoftwareEngineer #Software #SoftwareDevelopment #ModelCh

Sean Chandler, President of Aaniiih Nakoda College, on the significance of protecting sacred images. Check out the rest of the panel via https://youtu.be/BZlOkSNnYtA | ACM - Association for Computing Machinery

Happy birthday to #ACMTuringAward recipient Ron Rivest! Rivest, Leonard M. Adleman, and Adi Shamir received the 2002 ACM Turing Award for their ingenious contribution to making public-key cryptography useful in practice with the RSA public key cryptosystem. The method uses two different but mathematically linked keys: one public key used to encrypt the message, and a completely different private key used to decrypt it. The encryption method, named RSA after its three inventors, is used today in

Happy birthday, Joseph Sifakis! Sifakis received the 2007 #ACMTuringAward with Edmund Clarke and E. Allen Emerson, for their role in developing Model-Checking into a highly effective verification technology that is widely adopted in the hardware and software industries. In this video, Sifakis defines the model checking approach and distinguishes it from other approaches to verification: https://youtu.be/DQyCxUADfJ4 | ACM - Association for Computing Machinery