林惠民

2013-10-17 00:00:00

  計算機科學家。1947年11月生,福建福州人。1982年畢業于福州大學計算機科學系。1986年在中國科學院軟件研究所獲博士學位。現任中國科學院軟件研究所研究員。
   主要從事并發理論及其應用的研究。并發理論研究多個計算主體(進程)同時活動,通過交換信息(通訊)進行協作,以共同完成預期任務的特定計算現象。典型的并發系統有計算網絡、遠程通訊網等。從理論上探討并發程序的語義,是一項提高并發系統的可靠性、保證其正確性為最終目的的基礎研究。
   主要研究成果包括:
   1. 設計并實現了世界上第一個通用的進程代數驗證工具PAM/VPAM,其用戶遍布五大洲十幾個國家的大學和研究機構,對進程代數驗證工具的發展產生了深刻影響。
   2. 與英國Hennessy教授合作提出、并獨立發展了“符號互模擬"理論,在消息傳送進程研究中取得突破性進展,為在計算機上對通信并發進程進行推理和驗證奠定了理論基礎。
   3. 在國際上率先提出π-演算弱互模擬的完備證明系統和唯一不動點   歸納法,解決了π-演算的有窮公理化問題,使我國在這一競爭激烈的研究方向上居于國際領先地位。
   這些成果已被國際同行在公開發表的文獻中所廣泛引用。曾獲中國科學自然科學一等獎(1996)和國家自然科學二等獎(1999)。
   1999年10月當選為中國科學院院士。


县城餐饮只做外卖能赚钱吗 陕西11选五一定牛走势图 吉林体彩十一选五玩法介绍 华东电脑股票股吧 幸运飞艇就是个骗局 加拿大快乐8开奖预测 闲来陕西麻将 11运夺金玩法说明 福建22选5开奖结果 网站赚钱方法 越南5分彩开奖走势图彩经网 安徽11选五跨度走势 jdb五龙捕鱼的赢钱技巧 23上证指数 查下福建快三预测号 山西大唐麻将下载安 广西快三开奖app