{"56922":{"#nid":"56922","#data":{"type":"event","title":"Turing Award Lecture","body":[{"value":"\u003Cp\u003ESponsored by the Association for Computing Machinery, this lecture will be given by the winners of the 2007 Turing Award: Edmund M. Clarke (Carnegie Mellon University), Allen E. Emerson (University of Texas at Austin), and Joseph Sifakis (CNRS\/Verimag Laboratory in France).\n\u003C\/p\u003E\n\u003Cp\u003EThese three professors received this award, widely considered the most prestigious in computing, for their original and continuing research in a quality assurance process known as Model Checking. Their innovations transformed this approach from a theoretical technique to a highly effective verification technology that enables computer hardware and software engineers to find errors efficiently in complex system designs. This transformation has resulted in increased assurance that the systems perform as intended by the designers. Dr. Clarke of Carnegie Mellon University, and Dr. Emerson of the University of Texas at Austin, working together, and Dr. Sifakis, working independently for the Centre National de la Recherche Scientifique at the University of Grenoble in France, developed this fully automated approach that is now the most widely used verification method in the hardware and software industries.\n\u003C\/p\u003E\n\u003Cp\u003EThe Turing Award Lecture is one of the highlights of Embedded Systems Week 2008, a collection of conferences, tutorials, and workshops centered on the various aspects of embedded systems research and development.  \n\u003C\/p\u003E\n\u003Cp\u003EThe public is invited to attend the Turing Award Lecture free of charge.\u003C\/p\u003E","summary":null,"format":"limited_html"}],"field_subtitle":"","field_summary":[{"value":"Sponsored by the Association for Computing Machinery, this lecture will be given by the winners of the 2007 Turing Award: Edmund M. Clarke (Carnegie Mellon University), Allen E. Emerson (University of Texas at Austin), and Joseph Sifakis (CNRS\/Verimag Lab","format":"limited_html"}],"field_summary_sentence":[{"value":"Sponsored by ACM, this event is part of Embedded Systems Week."}],"uid":"27241","created_gmt":"2010-05-24 10:53:27","changed_gmt":"2016-10-08 01:50:25","author":"Jackie Nemeth","boilerplate_text":"","field_publication":"","field_article_url":"","field_event_time":{"event_time_start":"2008-10-20T10:00:00-04:00","event_time_end":"2008-10-20T12:00:00-04:00","event_time_end_last":"2008-10-20T12:00:00-04:00","gmt_time_start":"2008-10-20 14:00:00","gmt_time_end":"2008-10-20 16:00:00","gmt_time_end_last":"2008-10-20 16:00:00","rrule":null,"timezone":"America\/New_York"},"extras":[],"related_links":[{"url":"http:\/\/www.esweek.org\/","title":"Embedded Systems Week"}],"groups":[{"id":"1255","name":"School of Electrical and Computer Engineering"}],"categories":[],"keywords":[{"id":"5698","name":"embedded systems"},{"id":"5699","name":"Turing Award"}],"core_research_areas":[],"news_room_topics":[],"event_categories":[{"id":"1789","name":"Conference\/Symposium"}],"invited_audience":[],"affiliations":[],"classification":[],"areas_of_expertise":[],"news_and_recent_appearances":[],"phone":[],"contact":[{"value":"\u003Cstrong\u003EWayne  Wolf\u003C\/strong\u003E\u003Cbr \/\u003ESchool of Electrical and Computer Engineering\u003Cbr \/\u003E\u003Ca href=\u0022mailto:wolf@ece.gatech.edu\u0022\u003EContact Wayne  Wolf\u003C\/a\u003E\u003Cbr \/\u003E\u003Cstrong\u003E404-894-5933\u003C\/strong\u003E","format":"limited_html"}],"email":[],"slides":[],"orientation":[],"userdata":""}}}