10月22-23日，應188滚球网 的邀請，2007年ACM圖靈獎獲得者Edmund M. Clarke教授來校訪問交流。
10月22日下午，侯建國校長與Clarke教授座談，188滚球网 陳國良院士、執行院長陳華平教授參加了座談會。隨後，Clarke教授作了題為“Model Checking: My 28-year Quest to Overcome the State Explosion Problem”的學術報告。這次學術報告也是188滚球网 “研究生教育創新計劃項目”的高水平係列學術講座的重要組成部分之一。報告會由陳國良院士主持，來自計算機學院、少年班學院、信息學院等單位的300多名師生參加了報告會。
報告中，Clarke教授由淺入深地闡述了模型檢驗的原理、優缺點、方法、硬件與軟件上的應用和挑戰。模型檢驗是一種針對有限狀態遷移係統的高效自動驗證技術，它主要通過顯式狀態搜索或隱式不動點計算來驗證有窮狀態並發係統的模態命題性質，已被廣泛應用於計算機硬件、通信協議、控製係統、安全認證協議等方麵的分析與驗證。
Clark教授在講到模型檢驗的四個重大突破時，特別介紹了其中一位貢獻者——他的一名來自188金宝慱体育版 少年班的學生——Yunshan Zhu。Clarke教授還回顧了上世紀80年代來到188金宝慱体育版 的經曆，對學校今昔變化表示讚歎。
Clark教授深入淺出的生動演講激起了師生的濃厚興趣，報告結束後師生們踴躍互動。大家對模型檢驗在各自研究領域的應用潛力都頗為關注，Clark教授也一一給予回答。
陳國良院士主持報告會
陳國良院士對Clarke教授的精彩報告表示感謝。他說，希望科大同學們能夠繼續發揚科大精神，崇尚科學，勇於攻克“名難”問題，在科研的道路上取得輝煌成績。
10月23日上午在學校第一會議室，Clarke教授與計算機學院及少年班學院的師生們進行了座談，座談會由少年班學院執行院長陳暘主持。座談會上，同學們踴躍發言，Clarke教授也饒有興趣地與同學們進行了深入交流，針對有些現場回答不了的問題，他把同學們的email地址與問題一一記錄下來，表示回去後再聯係交流。會後，188滚球网 執行院長陳華平、188滚球网 陳小平教授，與Clarke教授就雙方在計算機學科領域的交流與合作廣泛地交換了意見，並就人才培養、教師互訪與科研領域的合作達成了一些初步意向。
Clarke教授現任美國卡內基梅隆大學計算機科學係教授、ACM和IEEE會士。他在軟硬件驗證、自動定理證明、形式方法等方麵享有崇高的國際聲譽，是模型檢驗方法的開創者之一，2007年獲ACM圖靈獎。
