蒋星红对Clarke教授的来访表示热烈欢迎和诚挚感谢，并简要介绍了我校的办学历史和发展近况。蒋星红表示，希望能在Clarke教授的支持下，两校能在人才培养、科学研究以及其他相关学科领域进行全面、深入交流和合作。Edmund M.Clarke教授表示，苏州大学之行非常荣幸，也很乐意与学校开展深入的合作，并建立更广泛的学术交流平台。
随后，Clarke教授为我校师生作了题为“Model Checking and Curse of Dimensiona-lity”的学术报告。学术报告由吕强教授主持。
报告中，Clarke教授深入浅出地对模型检测技术进行了阐述。在讲到模型检测技术面临的挑战时，Clark教授介绍了近三十年来在解决状态空间爆炸问题方面所取得的几个里程碑式的进展。他还介绍了模型检测技术在软件、信息物理融合系统、生物信息学等领域的应用前景。
Clarke教授深入浅出的演讲激起了师生的浓厚兴趣，大家对模型检测在软件开发过程中的应用都颇为关注。报告结束后，师生们踊跃提问，Clarke教授也一一予以回答。
Clarke教授是形式化验证领域中模型检（Model Checking）技术的创始人之一，是美国计算机协会(ACM)与美国电气电子工程师学会(IEEE)院士，同时也是美国国家科学院和工程院院士。Clarke教授于2007年，和E Allen Emerson以及Joseph Sifakis两位科学家一同分享了被称为计算机科学界的诺贝尔奖——“图灵奖”，以表彰他们对模型检测理论与技术做出的奠基性贡献，并使之成为一个目前被广泛应用在硬件和软件工业中非常有效的验证技术。
