2024年3月29日，中国科学院大学林惠民院士亲临夷陵中学，为英才班的学子们带来了一场主题为“计算与智能”既精彩又深刻的讲座。林惠民院士1999年当选为中科院院士以来，长期致力于理论和形式化方法的研究，特别是在进程代数的验证工具等领域取得了显著的科研成果。他曾荣获1996年中科院自然科学一等奖和1999年国家自然科学二...
经过对不同演算的反复比较,并考虑到在计算机上实现的可能性,林惠民提炼出了一个元语言,用它可以描述各种进程演算的公理化语义,在此基础上实现了通用的交互式进程代数验证工具PAM,只要将这个元语言描述的进程演算定义输入PAM,就得到该演算...
2024年3月29日,中国科学院大学林惠民院士亲临夷陵中学,为英才班的学子们带来了一场主题为“计算与智能”既精彩又深刻的讲座。林惠民院士1999年当选为中科院院士以来,长期致力于理论和形式化方法的研究,特别是在进程代数的验证工具等领域取得了显著的科...
12月31日,中国科学院院士、中国科学院计算机科学国家重点实验室主任林惠民莅临福州科技馆参观。林惠民院士听取了科技馆工作人员有关场馆的建设情况的介绍,参观了七大主题展厅并体验了球幕影院。 在参观过程中,林惠民院士与科技馆工作人员进行了亲切友好的互动交流,传授了许多科技前沿知识。林惠民院士对福州科技馆的建设成果...
2024年3月29日,备受瞩目的中国科学院大学林惠民院士,亲临夷陵中学,为英才班的学子们带来了一场主题为“计算与智能”的既精彩又深刻的讲座。林惠民院士1999年当选为中科院院士以来,长期致力于理论和形式化方法的研究,特别是在进程代数的验证工具等领域取得了显著的科研成果。他曾荣获1996年中科院自然科学一等奖和1999年国...
而软件创新需要两个基本因素：一是扎实的技术基础，二是活跃的想象力和创造精神。软件以人为本，人是软件生产中的决定性因素。要推进我国软件行业，尤其是基础软件行业实现质的跃升，必须培养造就一流的软件人才。林惠民院士也呼吁学习、使用鲲鹏全栈软硬件技术的广大开发者们，不仅要学习如何使用、用好产品、软件和...
央视网消息“加强人工智能研究,用好、管好人工智能技术,将会有效提升我们的劳动生产率,推进数字经济和国民经济的高质量发展。”在5月25日举办的数字福建分论坛上,中国科学院院士、中国科学院软件所学术委员会主任林惠民深刻剖析了人工智能技术的发展趋势,并强调了正确应用和管理这一技术对于促进数字经济高质量发展的重要性...
林惠民 1977年12月参加高考,以高分被福州大学数学系计算机软件专业录取。1986年获中国科学院软件研究所博士学位。现为中国科学院软件研究所学术委员会主任。长期从事并发理论及形式化方法的研究。设计并实现了世界上第一个通用的进程代数验证工具;与国际同行、英国Hennessy教授合作提出,并独立发展了传值并发进程的“符号互...
林惠民院士深度分析了当前我国软件行业的特点及难点,指出软件“只有第一、没有第二”。“第一”就是要想在别人前面、跑在别人前面,需要坚持自主创新。而软件创新需要两个基本因素:一是扎实的技术基础,二是活跃的想象力和创造精神。软件以人为本,人是软件生产中的决定性因素。要推进我国软件行业,尤其是基础软件行业...
3月28日下午,2024年襄阳四中名家讲坛——中科院院士林惠民教授科普讲座在高二年级立德楼报告厅举行,党委书记李静主持报告会。 林院士以《计算与智能》为题,为同学们带来了一场精彩的讲座。自计算机问世以来,性能以惊人的速度提升、应用范围以惊人的速度扩展,在短短几十年的时间内就广泛、深刻地改变了世界的面貌。特别...