{"677111":{"#nid":"677111","#data":{"type":"event","title":"Joseph Sifakis, Ph.D. - 2024 Turing Minds Series","body":[{"value":"\u003Cp\u003E\u003Cstrong\u003EJoseph Sifakis, Ph.D.\u003C\/strong\u003E, is a renowned computer scientist and the \u003Ca href=\u0022https:\/\/amturing.acm.org\/award_winners\/sifakis_1701095.cfm\u0022\u003E2007 Turing Award\u003C\/a\u003E recipient. He is recognized for his groundbreaking work on formal system verification and the development of model checking. His contributions have significantly advanced the field of computer-aided verification, enabling more reliable and secure software and hardware systems.\u003C\/p\u003E\u003Cp\u003EThis is a virtual event. RSVPing guarantees that you receive a Teams link before the call starts. The event won\u0027t be recorded.\u003C\/p\u003E\u003Cp\u003E\u003Cem\u003ETuring Minds is an annual event that brings together the brightest minds in computer science. Named after Alan Turing, the father of computer science, this series features talks from Turing Award winners who share their groundbreaking research and insights into the future of technology.\u003C\/em\u003E\u003C\/p\u003E\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E","summary":"","format":"limited_html"}],"field_subtitle":"","field_summary":[{"value":"\u003Cp\u003ESifakis is a renowned computer scientist and the 2007 Turing Award recipient.\u003C\/p\u003E","format":"limited_html"}],"field_summary_sentence":[{"value":"Turing Minds is an annual event that brings together the brightest minds in computer science. "}],"uid":"33969","created_gmt":"2024-09-25 21:04:07","changed_gmt":"2024-09-25 23:06:37","author":"ymrv3","boilerplate_text":"","field_publication":"","field_article_url":"","field_event_time":{"event_time_start":"2024-10-04T12:00:00-04:00","event_time_end":"2024-10-04T13:00:00-04:00","event_time_end_last":"2024-10-04T13:00:00-04:00","gmt_time_start":"2024-10-04 16:00:00","gmt_time_end":"2024-10-04 17:00:00","gmt_time_end_last":"2024-10-04 17:00:00","rrule":null,"timezone":"America\/New_York"},"extras":[],"hg_media":{"675115":{"id":"675115","type":"image","title":"JosephSifakis_2011.jpg","body":null,"created":"1727299645","gmt_created":"2024-09-25 21:27:25","changed":"1727299645","gmt_changed":"2024-09-25 21:27:25","alt":"Joseph Sifakis portrait","file":{"fid":"258709","name":"JosephSifakis_2011.jpg","image_path":"\/sites\/default\/files\/2024\/09\/25\/JosephSifakis_2011.jpg","image_full_path":"http:\/\/hg.gatech.edu\/\/sites\/default\/files\/2024\/09\/25\/JosephSifakis_2011.jpg","mime":"image\/jpeg","size":2387992,"path_740":"http:\/\/hg.gatech.edu\/sites\/default\/files\/styles\/740xx_scale\/public\/2024\/09\/25\/JosephSifakis_2011.jpg?itok=wZW8F3kW"}}},"media_ids":["675115"],"related_links":[{"url":"https:\/\/lu.ma\/5zign4v1","title":"RSVP"}],"groups":[{"id":"66244","name":"C21U"}],"categories":[],"keywords":[{"id":"1051","name":"Computer Science"}],"core_research_areas":[],"news_room_topics":[],"event_categories":[{"id":"1795","name":"Seminar\/Lecture\/Colloquium"}],"invited_audience":[{"id":"78761","name":"Faculty\/Staff"},{"id":"177814","name":"Postdoc"},{"id":"78771","name":"Public"},{"id":"174045","name":"Graduate students"},{"id":"78751","name":"Undergraduate students"}],"affiliations":[],"classification":[],"areas_of_expertise":[],"news_and_recent_appearances":[],"phone":[],"contact":[],"email":[],"slides":[],"orientation":[],"userdata":""}}}