林惠民科研成就科研综述林惠民设计并实现了通用进程代数验证工具PAM/VPAM，对这类工具的发展产生了重要影响

与英国Hennessy教授合作提出，并独立发展了“符号互模拟”理论，解决了传统并发计算模型对大量实际应用不能有效模拟的问题，为在计算机上对通信并发进程进行推理和验证提供了理论依据

提出并发计算模型之一π-演算弱互模拟的完备证明系统和唯一不动点归纳法，解决了π-演算的有穷公理化问题 

学术论著Lin Huimin, He Zhenrong, Du Daizian,e al. Studies on Nitrogenase of Blue-Green Algae[M]. Springer Netherlands, 1984.Lin Huimin. A Predicate Spatial Logic and Model Checking for Mobile Processes[C]// Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers. Springer-Verlag, 2004.Lin Huimin. A graphical μ-calculus and local model checking[J]. Journal of Computer Science and Technology, 2002, 17(6):665-671. 承担项目项目时间项目名称备注2009年01月—2012年12月模型检测的理论、技术与工具主持，国家级 科研成果奖励获奖时间项目名称奖励名称1996年度中国科学院自然科学奖一等奖（唯一获奖人）1999年度并发进程的代数理论及验证工具国家自然科学奖二等奖 

以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。