林惠民

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

林姓名人堂

同年(公元1947年)出生的名人:

中国科学院院士人物介绍

福州市更多人物

同时期更多人物

当代人物专题

当代相关影视剧

福州市导航

相关推荐

公园城市首提地跑向世界级城市的路径

公园城市首提地跑向世界级城市的路径 公园城市首提地跑向世界级城市的路径 公园城市首提地跑向世界级城市的路径
每日经济新闻
刚刚

中国海拔最高的省区,风景如诗如画,被很多人视为圣地

中国海拔最高的省区,风景如诗如画,被很多人视为圣地 中国海拔最高的省区,风景如诗如画,被很多人视为圣地 中国海拔最高的省区,风景如诗如画,被很多人视为圣地
樱殇之恋
刚刚

广东的一个小城市,被称为“世界客都”,小山村像蓬莱仙境

广东的一个小城市,被称为“世界客都”,小山村像蓬莱仙境 广东的一个小城市,被称为“世界客都”,小山村像蓬莱仙境 广东的一个小城市,被称为“世界客都”,小山村像蓬莱仙境
五雨柒
刚刚

农户一年分40多万元?看连平鹰嘴蜜桃怎么做!

农户一年分40多万元?看连平鹰嘴蜜桃怎么做! 农户一年分40多万元?看连平鹰嘴蜜桃怎么做! 农户一年分40多万元?看连平鹰嘴蜜桃怎么做!
南方农村报社
刚刚

春梦,碧草红花与共

春梦,碧草红花与共 春梦,碧草红花与共 春梦,碧草红花与共
风雨萧萧
刚刚

春游赏花季,这些路段要当心!

春游赏花季,这些路段要当心! 春游赏花季,这些路段要当心! 春游赏花季,这些路段要当心!
上游新闻
刚刚

新疆巴州草原出现一只雪豹,冲上去咬死2只羊,吃饱后还拖回1只

新疆巴州草原出现一只雪豹,冲上去咬死2只羊,吃饱后还拖回1只 新疆巴州草原出现一只雪豹,冲上去咬死2只羊,吃饱后还拖回1只 新疆巴州草原出现一只雪豹,冲上去咬死2只羊,吃饱后还拖回1只
雪灵谷自然地理
刚刚

《2021十大热门赏花目的地》出炉,广州宝墨园入选

《2021十大热门赏花目的地》出炉,广州宝墨园入选 《2021十大热门赏花目的地》出炉,广州宝墨园入选 《2021十大热门赏花目的地》出炉,广州宝墨园入选
南方都市报
刚刚

参观越南的永旺商场,里面很多中国品牌,国产逐渐走向世界

越南小旭
刚刚

河南有一神秘小镇,因蟒蛇出入而得名,是全国特色小镇

河南有一神秘小镇,因蟒蛇出入而得名,是全国特色小镇 河南有一神秘小镇,因蟒蛇出入而得名,是全国特色小镇 河南有一神秘小镇,因蟒蛇出入而得名,是全国特色小镇
视界旅行
刚刚

福州:花海公园变花海

福州:花海公园变花海 福州:花海公园变花海 福州:花海公园变花海
中国新闻网
刚刚

免费开放!深圳这条4千米“红飘带”不要太火!能看还能玩!

免费开放!深圳这条4千米“红飘带”不要太火!能看还能玩! 免费开放!深圳这条4千米“红飘带”不要太火!能看还能玩! 免费开放!深圳这条4千米“红飘带”不要太火!能看还能玩!
深圳本地宝
刚刚

听福州|树界奇葩!劈叉、攀岩毫不费力……

听福州|树界奇葩!劈叉、攀岩毫不费力…… 听福州|树界奇葩!劈叉、攀岩毫不费力…… 听福州|树界奇葩!劈叉、攀岩毫不费力……
福州新闻网
刚刚

霸屏丨今晚和明晚桂林要在央视上“霸屏”,好节目别错过!

霸屏丨今晚和明晚桂林要在央视上“霸屏”,好节目别错过! 霸屏丨今晚和明晚桂林要在央视上“霸屏”,好节目别错过! 霸屏丨今晚和明晚桂林要在央视上“霸屏”,好节目别错过!
每日桂林
今天 21:59

走进吉安红色古村,探寻几代人的记忆,感受当地的风土人情

走进吉安红色古村,探寻几代人的记忆,感受当地的风土人情 走进吉安红色古村,探寻几代人的记忆,感受当地的风土人情 走进吉安红色古村,探寻几代人的记忆,感受当地的风土人情
旅游之后
今天 21:58

弗洛姆旅游局品牌重塑,新名称Norway's best 意打造挪威最佳旅游品牌形象

弗洛姆旅游局品牌重塑,新名称Norway's best 意打造挪威最佳旅游品牌形象 弗洛姆旅游局品牌重塑,新名称Norway's best 意打造挪威最佳旅游品牌形象 弗洛姆旅游局品牌重塑,新名称Norway's best 意打造挪威最佳旅游品牌形象
狐吃狐玩
今天 21:54
代表委员履职 | 全国人大代表黄细花:建议延长旅游业优惠政策实施期限

代表委员履职 | 全国人大代表黄细花:建议延长旅游业优惠政策实施期限

广州日报
今天 21:52

成都10大本地人最爱去的绝美景点,外地人一般人不知道,或许你一个都没去过

成都10大本地人最爱去的绝美景点,外地人一般人不知道,或许你一个都没去过 成都10大本地人最爱去的绝美景点,外地人一般人不知道,或许你一个都没去过 成都10大本地人最爱去的绝美景点,外地人一般人不知道,或许你一个都没去过
视界旅行
今天 21:47

人民日报:下半年或可出国!世界打开即将指日可待了?!

人民日报:下半年或可出国!世界打开即将指日可待了?! 人民日报:下半年或可出国!世界打开即将指日可待了?! 人民日报:下半年或可出国!世界打开即将指日可待了?!
湖南高中升学规划
今天 21:43

好消息!亳州市区这个新游园建好啦!位置就在……

好消息!亳州市区这个新游园建好啦!位置就在…… 好消息!亳州市区这个新游园建好啦!位置就在…… 好消息!亳州市区这个新游园建好啦!位置就在……
亳州房地产交易网
今天 21:41