林惠民

1947年11月13日生于福建福州。
1982年毕业于福州大学计算机科学系。
1986年获中国科学院软件研究所博士学位。
中国科学院软件研究所研究员。
1999年当选为中国科学院院士. 长期从事计算机程序的形式语义学及形式化方法的研究。
设计并实现了通用进程代数验证工具PAM/VPAM，对这类工具的发展产生了重要影响。
为在计算机上对通信并发进程进行推理和验证提供了理论依据。