Association for Computing Machinery (@theofficialacm) 's Twitter Profile
Association for Computing Machinery

@theofficialacm

The world's largest professional organization advancing #computing as a science and profession. Also @mastodon.acm.org
Likes & shares β‰ endorsement

ID: 115763683

linkhttps://linktr.ee/theofficialacm calendar_today19-02-2010 21:27:46

16,16K Tweet

72,72K Followers

2,2K Following

Association for Computing Machinery (@theofficialacm) 's Twitter Profile Photo
Association for Computing Machinery
@theofficialacm

22 days ago

Today, let's remember E. Allen Emerson, a computer scientist born #OTD in 1954. W/ Edmund Clarke & Joseph Sifakis, Emerson received the 2007 #ACMTuringAward for developing Model-Checking into a highly effective verification technology. Here, he explains Model-Checking: