新闻动态

12月25日，中国科学院软件研究所研究员、计算机软件与理论专家林惠民院士应邀来我校讲学，在逸夫图书馆五楼报告厅为我校计算机学院师生作题为《计算与智能》的专题报告。校长李顺兴和计算机学院师生200余人聆听了报告，报告会由计算机学院院长林耀进主持。

林惠民院士从“计算”“智能”“伦理”等三个方面为在场师生讲授了计算机科技的发展史及智能技术的利弊。他从计算出发，通过通俗易懂的例子，阐述了计算与智能的本质，指出“智能机器”是人类造出来的，是为人类服务的。他希望计算机学院的同学们努力学习、充分利用计算机科学和人工智能的研究成果，让人类生活得更加美好。

报告会前，校长李顺兴与林惠民院士在逸夫图书馆五楼会客厅进行亲切的会谈。李顺兴详细介绍了闽南师范大学的办学历史、办学特色、办学定位和办学目标以及我校学科建设情况，希望林惠民院士常回家乡看看，多到我校指导交流，进一步建立长期的合作。林惠民院士肯定了我校所取得的工作成绩，并表示愿意为我校未来的发展提供尽可能的支持和帮助。

新闻链接：

林惠民，中国科学院软件研究所研究员，计算机软件与理论专家。1982年毕业于福州大学计算机科学系，1999年当选为中国科学院院士。长期从事计算机程序的形式语义学及形式化方法的研究。设计并实现了通用进程代数验证工具PAM/VPAM，对这类工具的发展产生了重要影响。与英国Hennessy教授合作提出，并独立发展了“符号互模拟”理论，解决了传统并发计算模型对大量实际应用不能有效模拟的问题，为在计算机上对通信并发进程进行推理和验证提供了理论依据。提出并发计算模型之一π-演算弱互模拟的完备证明系统和唯一不动点归纳法，解决了π-演算的有穷公理化问题。

（文/图：黄慧）