4月25日下午，中国科学院大学林惠民院士在一楼报告厅为我校学生做题为“计算与智能”的专题报告。跟林院士一同莅临我校的还有中国科学院大学党委副书记、副校长高随祥，中国科学院西安分院副院长李保国，中国科学院大学陕西招生组柴团耀老师、孟繁东老师、袁鹏老师。我校高一年级部分学生和老师现场聆听了此次报告。

报告会由教务处王争争副主任主持，报告中林院士风趣幽默、深入浅出的向同学们介绍计算与智能，林院士从计算、智能、伦理等三个方面深入浅出向同学们普及了计算机技术和人工智能有关知识。让在座的同学们更加深刻地领会到计算机技术的重要与人工智能广泛应用的前景。林院士还鼓励同学们努力学习，在不久将来为我国计算机技术及人工智能研究方面贡献自己的力量。最后，林院士还和同学们进行了互动，耐心回答了同学们关心的问题，本次讲座使同学们增长了前沿知识，为同学们的成长规划提供了参考。

林惠民院士介绍

林惠民，1947年11月生于福建省福州市，研究员，博士生导师。1986年在中国科学院软件研究所获博士学位；曾先后在英国爱丁堡大学和萨塞克斯大学工作。1999年被评为“国家级有突出贡献的中青年专家”，同年11月当选为中国科学院院士。主要研究方向包括：通迅并发系统的理论、工具及应用、模型检测、代数规约、程序模块化理论。

他长期从事并发理论及形式化方法的研究。他设计并实现的交互式证明系统PAM是世界上第一个通用的进程代数验证工具。与国际同行合作提出、并独立发展了传值并发进程的“符号互模拟”理论；解决了π-演算和时间自动机的有穷公理化问题。这些成果已为国内外同行在公开发表的文献中所广泛引用，推动了这些领域的发展。他的工作获得1996年度中国科学院自然科学奖一等奖和1999年度国家自然科学奖二等奖。