10月25日，2007年ACM图灵奖获得者、美国卡内基梅隆大学计算机系Edmund M.Clarke教授访问我校。我校副校长蒋星红在红楼会议中心会见了Clarke教授。学院院长杨季文教授、副院长李凡长教授等陪同会见。杨季文院长向Clarke教授介绍我院的办学历史、办学规模以及18新利备用网站 工作情况，希望能在Clarke教授的支持下，双方能在人才培养、18新利备用网站 以及其他相关学科领域进行全面、深入交流和合作。Edmund M.Clarke教授表示，18新利体育 之行非常荣幸，也很乐意与学校开展深入的合作，并建立更广泛的学术交流平台。
   

随后，Clarke教授为我校师生作了题为“Model Checking and Curse of Dimensionality”的学术报告。学术报告由吕强教授主持。
   

报告中，Clarke教授深入浅出地对模型检测技术进行了阐述。在讲到模型检测技术面临的挑战时，Clark教授介绍了近三十年来在解决状态空间爆炸问题方面所取得的几个里程碑式的进展。他还介绍了模型检测技术在软件、信息物理融合系统、生物信息学等领域的应用前景。

Clarke教授深入浅出的演讲激起了师生的浓厚兴趣，大家对模型检测在软件开发过程中的应用都颇为关注。报告结束后，师生们踊跃提问，Clarke教授也一一予以回答。

Clarke教授是形式化验证领域中模型检（Model Checking）技术的创始人之一，他是美国计算机协会(ACM)与美国电气电子工程师学会(IEEE)院士，同时也是美国国家科学院和工程院院士。Clarke教授于2007年，和E Allen Emerson以及Joseph Sifakis两位科学家一同分享了被称为计算机科学界的诺贝尔奖-“图灵奖”，以表彰他们对模型检测理论与技术做出的奠基性贡献，并使之成为一个目前被广泛应用在硬件和软件工业中非常有效的验证技术。