林惠民
作者:中科部落
来源:本站原创
日期：2008-3-23 16:28:06
【阅读：次】
※本站原创信息版权所有，转载请注明出自www.buloli.com(中科部落)，不追则已，一追到底。
[中科部落-www.buloli.com-文章ID:11621]
计算机软件与理论专家。1947年11月13日生，福建福州人。1982年毕业于福州大学计算机科学系。1986年获中国科学院软件研究所计算机科学理论专业博士学位。中国科学院软件研究所研究员。长期从事计算机程序的形式语义学及形式化方法的研究。设计并实现了通用进程代数验证工具PAM/VPAM，对这类工具的发展产生了重要影响。与英国Hennessy教授合作提出，并独立发展了“符号互模拟”理论，解决了传统并发计算模型对大量实际应用不能有效模拟的问题，为在计算机上对通信并发进程进行推理和验证提供了理论依据。提出并发计算模型之一π-演算弱互模拟的完备证明系统和唯一不动点归纳法，解决了π-演算的有穷公理化问题。1996年获中国科学院自然科学一等奖（唯一获奖人）。1999年当选为中国科学院院士。
院士信息录入：admin 责任编辑：admin
计算机软件与理论专家。1947年11月13日生，福建福州人。1982年毕业于福州大学计算机科学系。1986年获中国科学院软件研究所计算机科学理论专业博士学位。中国科学院软件研究所研究员。长期从事计算机程序的形式语义学及形式化方法的研究。设计并实现了通用进程代数验证工具PAM/VPAM，对这类工具的发展产生了重要影响。与英国Hennessy教授合作提出，并独立发展了“符号互模拟”理论，解决了传统并发计算模型对大量实际应用不能有效模拟的问题，为在计算机上对通信并发进程进行推理和验证提供了理论依据。提出并发计算模型之一π-演算弱互模拟的完备证明系统和唯一不动点归纳法，解决了π-演算的有穷公理化问题。1996年获中国科学院自然科学一等奖（唯一获奖人）。1999年当选为中国科学院院士。与 林惠民相关的新闻有：
- 摩托罗拉创建来20个历史瞬间回顾(组图)[2008-3-28 9:47:36]
- 李嘉诚首度证实：1亿美元投资Facebook[2008-3-27 21:59:42]
- 自然出版集团与上海药物研究所两学术期刊开展出版合作[2008-4-2 9:21:32]
- 安光所研制成功国内首台质子转移反应质谱监测仪[2008-4-2 9:21:18]
- 我首次应邀在《自然—免疫学》发表专题述评 曹雪涛院士撰写[2008-4-2 9:07:22]
- 科技日报：中外学者合作实现更安全的量子密码系统[2008-4-2 9:06:51]
- 人民日报：8个科研装备自主创新项目启动[2008-4-2 9:06:51]
- 新华社：国家大力推进重大科研装备自主创新[2008-4-2 9:06:51]
- 经济日报：中科院颁发首届国际科技合作奖[2008-4-2 9:06:51]
- 经济日报：中科院颁发首届国际科技合作奖[2008-4-2 9:06:51]
| 关于〖林惠民〗的最新评论： |