Embed Notice

HTML Code

<blockquote style="position: relative; padding-left: 55px;"><section><a href="https://mastodon.acm.org/users/ACM/statuses/113324581106458120">The Official ACM (acm@mastodon.acm.org)'s status on Friday, 18-Oct-2024 05:17:33 JST</a><a href="https://mastodon.acm.org/@ACM" title="acm@mastodon.acm.org"><img src="https://gnusocial.jp/avatar/74412-48-20221216091948.webp" width="48" height="48" alt="The Official ACM" style="position: absolute; left: 0; top: 0;">The Official ACM</a></section><article><p>We mourn the passing of E. Allen Emerson, ACM A.M. Turing Laureate and Professor of Computer Science at UT Austin, on October 15, 2024. </p><p>He received the Turing Award together with Edmund Clarke and Joseph Sifakis for their role in developing model-checking into a highly effective verification technology that was widely adopted in the hardware and software industries.</p><p>His legacy in computer science will endure, and our thoughts are with his loved ones. <a href="https://bit.ly/3wGCXOF" rel="nofollow noreferrer">https://bit.ly/3wGCXOF</a></p></article><footer><a rel="bookmark" href="https://gnusocial.jp/conversation/3843176#notice-7514409">In conversation</a><time datetime="2024-10-18T05:17:33+09:00" title="Friday, 18-Oct-2024 05:17:33 JST">about 3 months ago</time> <span>from <span><a href="https://mastodon.acm.org/@ACM/113324581106458120" rel="external" title="Sent from mastodon.acm.org via ActivityPub">mastodon.acm.org</a></span></span><a href="https://mastodon.acm.org/@ACM/113324581106458120">permalink</a><h4>Attachments</h4><ol><li><label><a rel="external" href="https://gnusocial.jp/attachment/3320280">In Memoriam: E. Allen Emerson</a></label><br><a href="https://mastodon.acm.org/system/media_attachments/files/113/324/579/193/312/808/original/48003b2c6d5614f1.jpeg" rel="external">https://mastodon.acm.org/system/media_attachments/files/113/324/579/193/312/808/original/48003b2c6d5614f1.jpeg</a></li><li><article><header><div>Domain not in remote thumbnail source whitelist: amturing.acm.org</div><h5><a href="https://amturing.acm.org/award_winners/emerson_1671460.cfm">E. Allen Emerson - A.M. Turing Award Laureate</a></h5><div></div></header><div></div><footer></footer></article></li></ol></footer></blockquote>

Corresponding Notice

Embed this notice
The Official ACM (acm@mastodon.acm.org)'s status on Friday, 18-Oct-2024 05:17:33 JST The Official ACM
We mourn the passing of E. Allen Emerson, ACM A.M. Turing Laureate and Professor of Computer Science at UT Austin, on October 15, 2024.
He received the Turing Award together with Edmund Clarke and Joseph Sifakis for their role in developing model-checking into a highly effective verification technology that was widely adopted in the hardware and software industries.
His legacy in computer science will endure, and our thoughts are with his loved ones. https://bit.ly/3wGCXOF
In conversationabout 3 months ago from mastodon.acm.orgpermalink
Attachments
1. In Memoriam: E. Allen Emerson
  https://mastodon.acm.org/system/media_attachments/files/113/324/579/193/312/808/original/48003b2c6d5614f1.jpeg
2. Domain not in remote thumbnail source whitelist: amturing.acm.org
  E. Allen Emerson - A.M. Turing Award Laureate

Public

Embed Notice

HTML Code

Corresponding Notice