林惠民， （1947年11月13日—），计算机软件与理论专家、中国科学院院士，长期从事计算机程序的形式语义学及形式化方法的研究。福建福州人。1969年-1972年，林惠民到闽北山区建宁县插队。1972年-1978年，林惠民在八一磷肥厂当工人。1978年-1982年，林惠民就读于福州大学计算机科学系。1982年-1986年，林惠民就读于中国科学院软件研究所，获博士学位。1986年-1988年，林惠民在中国科学院软件研究所工作任助理研究员。1986年-1987年，林惠民在英国爱丁堡大学计算机科学基础实验室，做Research Fellow。1988年年-1990年，林惠民在中国科学院软件研究所任副研究员。1990年-1993年，林惠民在英国萨塞克斯大学，做Research Fellow。1993年，林惠民晋升研究员。1994年，林惠民被聘为博士生导师。1996年，林惠民获中国科学院自然科学奖一等奖。1999年，林惠民当选为中国科学院院士。同年，林惠民任中国科学院软件所计算机科学国家重点实验室主任。同年，林惠民以并发进程的代数理论及验证工具，获国家自然科学奖二等奖。同年，林惠民获国家级有突出贡献的中青年专家称号。2008年，林惠民当选为第一届中国计算机学会会士。2024年，林惠民任全国计算机科学技术名词审定委员会顾问。著有《 移动与通信系统：pi-演算》等。