ACM - Association for Computing Machinery
Share
The world's largest professional organization advancing #computing as a science and profession. Join our official #Mastodon instance: mastodon.acm.org
Today in 1954, Turing Award recipient E. Allen Emerson was born. Together with Edmund Clarke and Joseph Sifakis, Emerson received the 2007 for developing Model-Checking into a highly effective verification technology that is widely adopted in the hardware and software industries.
Emerson explains Model-Checking in 2019: https://youtu.be/sUwxA8px7O8
05/29/2026
Happening now—pop in and say hi!
https://acm-org.zoom.us/meeting/register/He6ppaczTQyVgKDrUAUa6A
05/29/2026
A long history of failure left most of Silicon Valley hesitant to bet on helpful robots. But that has changed.
Check out to learn why the latest boom in robotics represents a revolution in the way machines have learned to interact with the world. https://buff.ly/CJiRmRC
05/28/2026
Looking for resources to develop mentoring, researching, and networking skills?
Here are three opportunities from CRA's UR2PHD (You Are To PhD) program to get you prepared. Save and share with your classmates and students!
https://cra.org/ur2phd/for-graduate-students/graduate-student-mentor-training-course/
https://cra.org/ur2phd/for-undergraduate-students/research-training-course/
https://cra.org/ur2phd/for-undergraduate-students/pre-research-experience-course/
Click here to claim your Sponsored Listing.
Website
Address
1601 Broadway, 10th Floor
New York, NY
10036
