欢迎访问龙岩市科学技术协会网站!   在线投稿 设为主页 加入收藏
首 页 科协简介 公告通知 重要新闻 科学普及 学会活动 科技人物 基层动态 政策法规 科普博览 科普惠农 文件下载
j 龙岩市科学技术协会 >> 绉戞妧浜虹墿 关闭窗口
林惠民
发布人:admin 发布时间:2008/12/3 浏览次数:6802


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

福建龙岩市科学技术协会 版权所有  闽ICP备16038052号  访问量:1157280
主办:福建龙岩市科学技术协会  地址:龙岩大道1号市行政中心东附楼4层  邮编:364000
电话:0597-3213020  传真:0597-3213011  电子信箱:fjlyskx@163.com  技术支持:福建创高科技有限公司