林惠民

林惠民，计算机软件与理论专家，中国科学院软件研究所研究员。1986年获中国科学院软件研究所博士学位，1999年当选为中国科学院院士。长期从事计算机程序的形式语义学及形式化方法的研究。设计并实现了通用进程代数验证工具PAM/VPAM，对这类工具的发展产生了重要影响。与英国Hennessy教授合作提出，并独立发展了“符号互模拟”理论，解决了传统并发计算模型对大量实际应用不能有效模拟的问题，为在计算机上对通信并发进程进行推理和验证提供了理论依据。