荣耀Magic2,40W超级快充+麒麟980芯片

电商名人

首页 > 电商名人 > 福建 > 福州名人

林惠民

更新时间:2023-03-15

[中国科学院院士]
林惠民介绍:

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


同年(公元1947年)出生的名人:
翟明国 中国科学院院士 河南济源
范守善 中国科学院院士 山西晋城
杨树锋 中国科学院院士 浙江省绍兴
李述汤 中国科学院院士 湖南邵阳邵东
秦大河 中国科学院院士 甘肃省兰州

下一名人:林尊琪
林惠民相关介绍