泰州学院计算机科学与技术学院官网,CCF@U484：陈仪香、李国强走进泰州学院

2017年4月9日上午，“CCF走进高校”活动来到泰州学院。华东师范大学软硬件协同设计与应用工程中心主任陈仪香、上海交通大学博士李国强分别作了题为“智能系统”和“An Algorithmic Approach for Formal Verification”的报告。活动由泰州学院计算机科学与技术学院书记陈茂国主持，雷红轩、帅晓应、潘海玉以及泰州学院计算机科学与技术学院的学生参加了活动。

陈仪香以哈佛大学的校训“为增长才干走出去，为国家同胞而学习”开头，就计算机行业常见的难解问题提出自己的看法，讲解智能系统的重要性、特征等各个方面进行。并指出，在智能系统方面，我国落后于发达国家的主要原因是传授多于创造、模仿有余、创新不够，鼓励学生扩大眼界、勤于思考，提高创造力。陈仪香教授回答了同学的问题，使学生对智能系统有了更深入地了解，同时也给予了同学们中肯的建议。

李国强从学生熟悉的系统BUG引出Model Checking技术，介绍Model Checking理论的实用性，并从AG、AF、EX等方面给同学们介绍许多科技前沿知识，激起了广大与会同学极大的好奇和震撼。最后，李国强博士和同学们进行了互动，解答了同学的疑惑，扩展了同学的思维。

此次讲座使同学们对计算机科学与技术这一专业多了更多的认识，增进了对智能系统和模式识别的了解与兴趣，为同学们以后的目标打下了基础。

活动现场

陈仪香作报告

李国强作报告

现场互动

听众感言：

在这个长达近三个小时的讲座里，我不仅仅认识到了CCF即中国计算机协会在我国的影响力，同时也明了当今社会对智能系统所需求的，也是相当重要的。

首先上场的陈仪香教授运用自己的独特风格让我们理解了智能系统对生活的重要性，也让我们明白了软件智能的前景与社会影响力。他以国外某一名校的校训“为国家同胞而学习”开头，引得台下同学们的阵阵掌声。之后的多方面解析也让我们对计算机中的智能系统有了很深层次的了解，使得我们对自己的专业有了更强大的信心与坚持力。

之后上场的李国强博士则以专业的手法剖析理论系统的使用性。并深层讲解了bug对当今生活的影响，督使学生更加严谨高效的学习与研究。

本次讲座给我对待计算机行业有了新的认识与体会，相信至此以后我能在这条专业化的计算机道路上驰骋下去，每一步都有条不紊，坚定不移，直到最后成功。

——16嵌入式二班中软 朱山瀛

通过两位老师的讲座，我学到了不少东西，对计算机的相关知识有了更多的认知和理解。

在陈仪香教授的讲解中，首先老师提到了哈佛校训：“为增长智慧走进来，为服务祖国和同胞走出去。”中国青年也应把“胸怀祖国，服务人民”作为自己的座右铭。其次重点讲解了人工智能系统，通过与别的国家的对比，指出中国应把目标看的长远，应该创新。也举了些案例，感受颇深。

在李国强老师的ppt中，重点围绕了model checking算法讲解，提出了如何检测bug避免bug，虽然时间不多，并不能完全讲完，但还是收获很多。

作为计算机的学生，我想更应该细心，因为一个小小的bug就会造成不可估计的损失，希望我们努力学好课本知识，也扩大课外存储，真正为增长智慧走进来，为服务祖国和同胞走出去。

——15嵌入式2班 邱露冉

老师讲到了很多在我们大学读书考虑不到的东西，我们读书的意义是什么，是为了找一份好工作，是为母校争光，还是为了国家的富强。普通人考虑的都是明天会流行什么，什么可以让生活更舒适，而还有一群人他们在为国家将来50年后的事情做打算，每个既平凡而又普通我们，是不是也可以为这个世界留下些什么，让我们找到自己人生的价值。曾经我们认为那些离我们很远的事，其实也是可以做到的。而博士则是深入浅出教了我们很多算法，让我们了解到好多与我们专业相关而又不在课本上的内容，让我们专注于当下的知识积累。或许我们现在还有一些听不懂，但这样我们才会好奇，去探究它真正的奥秘。

——15嵌入式2班韩丁

“为汲取知识到学校来，为报效祖国和同胞走出去。”这是陈仪香教授说的最最让我震撼的一句话，乍一听，这句话显得略微苍白无力，但听完教授的话，我更深的理解了作为一名计算机学院的大学生背负着的重任。

陈教授分步介绍了智能系统的概念，现有的应用，当前的目标以及需求。通过陈教授的演讲，我觉得自己离计算机智能更近了一步，何为智能，说的粗俗一点，我想，应该就是拥有智慧和能力的计算机吧，而“智慧”和“能力”两个词语又是比较宽泛的概念。陈教授用他的演讲介绍了计算机智能是真正能够配的上这两个词的。应用广泛，涉及的知识、对象、操作技术广泛，是人类真正的智慧的结晶。

陈教授不但突出讲述了贴切社会需求的智能系统和适应国家需求的智能系统，而且还剖析了其中的需求关键，强调了创新的重要性。陈教授的意气风发，真让我佩服，一个斗志昂扬的灵魂给我来了一场风风光光的精神洗礼。我想，这不仅仅是智慧的传递，更是计算机人心得的分享，是一腔热血的挥撒，让我们大学生刷新了对自己肩上担子的认识，成为更加成熟的计算机人。

——16计算机科学与技术 李婷婷