{"id":1814,"date":"2008-02-04T12:11:59","date_gmt":"2008-02-04T19:11:59","guid":{"rendered":"http:\/\/dabacon.org\/pontiff\/?p=1814"},"modified":"2008-02-04T12:11:59","modified_gmt":"2008-02-04T19:11:59","slug":"acm-turing-award-2007","status":"publish","type":"post","link":"https:\/\/dabacon.org\/pontiff\/2008\/02\/04\/acm-turing-award-2007\/","title":{"rendered":"ACM Turing Award 2007"},"content":{"rendered":"<p><a>The Turing Award<\/a>, the Nobel Prize of computing (but really how can we fault Nobel for not having a computing prize when computers for Nobel would have been people), has been <a href=\"http:\/\/www.eurekalert.org\/pub_releases\/2008-02\/cmu-cme020408.php\">won by<\/a> Edmund Clarke (CMU), E. Allen Emerson (UT at Austin) and Joseh Sifakis (Centre National de la Recherche Scientifique\/CARNOT Institute) for research on <a href=\"https:\/\/en.wikipedia.org\/wiki\/Model_checking\">Model Checking<\/a>.  The citation reads<\/p>\n<blockquote><p>For their role in developing Model-Checking into a highly effective<br \/>\nverification technology, widely adopted in the hardware and software<br \/>\nindustries.<\/p><\/blockquote>\n<p>The winners will share a $250,000 prize ($150,000 more this year due to the sponser ship of the Googlemonster.)<\/p>\n","protected":false},"excerpt":{"rendered":"<p>The Turing Award, the Nobel Prize of computing (but really how can we fault Nobel for not having a computing prize when computers for Nobel would have been people), has been won by Edmund Clarke (CMU), E. Allen Emerson (UT at Austin) and Joseh Sifakis (Centre National de la Recherche Scientifique\/CARNOT Institute) for research on &hellip; <\/p>\n<p class=\"link-more\"><a href=\"https:\/\/dabacon.org\/pontiff\/2008\/02\/04\/acm-turing-award-2007\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;ACM Turing Award 2007&#8221;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":false,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2}},"categories":[20],"tags":[],"class_list":["post-1814","post","type-post","status-publish","format-standard","hentry","category-computer-science"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/dabacon.org\/pontiff\/wp-json\/wp\/v2\/posts\/1814","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dabacon.org\/pontiff\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/dabacon.org\/pontiff\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/dabacon.org\/pontiff\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/dabacon.org\/pontiff\/wp-json\/wp\/v2\/comments?post=1814"}],"version-history":[{"count":0,"href":"https:\/\/dabacon.org\/pontiff\/wp-json\/wp\/v2\/posts\/1814\/revisions"}],"wp:attachment":[{"href":"https:\/\/dabacon.org\/pontiff\/wp-json\/wp\/v2\/media?parent=1814"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/dabacon.org\/pontiff\/wp-json\/wp\/v2\/categories?post=1814"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/dabacon.org\/pontiff\/wp-json\/wp\/v2\/tags?post=1814"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}