专家人才--中国科学院软件研究所

联系我们

所长信箱

English

中国科学院

	人才队伍

站内搜索

首页 >> 人才队伍

林惠民 -- 研究员、院士

100190 北京中关村南四街4号（北京8718信箱）
中国科学院软件研究所

职称：研究员、院士
联系电话： 010-62661608
E-Mail：lhm(at)ios.ac.cn

　　林惠民，1947年11月生于福建省福州市，研究员，博士生导师。1986年在中国科学院软件研究所获博士学位；曾先后在英国爱丁堡大学和萨塞克斯大学工作。1999年被评为“国家级有突出贡献的中青年专家”，同年11月当选为中国科学院院士。主要研究方向包括：通迅并发系统的理论、工具及应用、模型检测、代数规约、程序模块化理论。
　　他长期从事并发理论及形式化方法的研究。他设计并实现的交互式证明系统PAM是世界上第一个通用的进程代数验证工具。与国际同行合作提出、并独立发展了传值并发进程的“符号互模拟”理论；解决了π-演算和时间自动机的有穷公理化问题。这些成果已为国内外同行在公开发表的文献中所广泛引用，推动了这些领域的发展。他的工作获得1996年度中国科学院自然科学奖一等奖和1999年度国家自然科学奖二等奖。