林惠民说:“现在看来,福大数学系77级开设软件专业,是一个非常大胆、前瞻的决策。当时软件方面的很多专业课程还缺乏师资,我们开学后系里才派出教师到中国科学院计算所等处进修。” 在那个电脑刚兴起的年代,专业学习上,林惠民面临很大的困难。“全校只有一台小计算机,还经常坏。”但是,对林惠民来说,“文革十年,国家看...
2024年3月29日，中国科学院大学林惠民院士亲临夷陵中学，为英才班的学子们带来了一场主题为“计算与智能”既精彩又深刻的讲座。林惠民院士1999年当选为中科院院士以来，长期致力于理论和形式化方法的研究，特别是在进程代数的验证工具等领域取得了显著的科研成果。他曾荣获1996年中科院自然科学一等奖和1999年国家自然科学二...
经过对不同演算的反复比较,并考虑到在计算机上实现的可能性,林惠民提炼出了一个元语言,用它可以描述各种进程演算的公理化语义,在此基础上实现了通用的交互式进程代数验证工具PAM,只要将这个元语言描述的进程演算定义输入PAM,就得到该演算...
[央视新闻]林惠民:计算机是人类工具 不认同威胁论 发布时间:2016年03月10日 15:58 | 进入复兴论坛 | 来源:央视网 | 手机看新闻 | 手机看视频 评分 排行榜 意见反馈 顶 踩 完整视频 编辑:刘一 【 打印】【 举报/纠错】【 复制链接】【 转发邮件】 ...
央视网消息“加强人工智能研究,用好、管好人工智能技术,将会有效提升我们的劳动生产率,推进数字经济和国民经济的高质量发展。”在5月25日举办的数字福建分论坛上,中国科学院院士、中国科学院软件所学术委员会主任林惠民深刻剖析了人工智能技术的发展趋势,并强调了正确应用和管理这一技术对于促进数字经济高质量发展的重要性...
林惠民目前担任福建豪顺投资有限公司、泉州市宾至酒店管理有限公司等4家企业法定代表人,同时在4家企业担任高管,包括担任福建豪顺投资有限公司执行董事,经理,泉州市宾至酒店管理有限公司财务负责人,执行董事,经理;二、林惠民投资情况:林惠民间接持股菏泽新景置业有限公司、投资占比达2.4%;目前林惠民投资福建豪顺投资有限公司...
而软件创新需要两个基本因素：一是扎实的技术基础，二是活跃的想象力和创造精神。软件以人为本，人是软件生产中的决定性因素。要推进我国软件行业，尤其是基础软件行业实现质的跃升，必须培养造就一流的软件人才。林惠民院士也呼吁学习、使用鲲鹏全栈软硬件技术的广大开发者们，不仅要学习如何使用、用好产品、软件和...
一、林惠民担任职务:林惠民目前担任福建欧迪斯服饰有限责任公司、丰泽区荣荣和餐饮店等3家企业法定代表人,同时在3家企业担任高管,包括担任福建欧迪斯服饰有限责任公司财务负责人,执行董事兼总经理,福建省荣燊餐饮管理有限公司监事;二、林惠民投资情况:林惠民目前是福建欧迪斯服饰有限责任公司直接控股股东,持股比例为90%;目...
林惠民 1421人看过 ScholarID:CN-BB74TJOJ 中国科学院软件研究所 被引频次 1024 成果数 41 H指数 10 G指数 32领域: 计算机科学与技术 2003年成果数6 2011年被引量93全部年份 全部类型 全部作者 按时间降序 网络技术与网络伦理 2014 - 林惠民 - 《科技导报》 - 被引量: 2 ...