林惠民，1947年11月13日出生于福建福州，计算机软件与理论专家，中国科学院院士，中国科学院软件研究所研究员、博士生导师，计算机科学国家重点实验室主任。

1947年11月，林惠民出生于福建省福州市。

1960年，从福州市鼓楼第一中心小学毕业，进到福州第十八中学读初中。

1963年秋—1964年夏，在福建省福州第三中学上高一，其中1963年参加福州市初中数学竞赛，1964年参加福州市高中数学竞赛，都拿了二等奖。

1966年，高中毕业，恰逢“文化大革命”，高考取消，他上山下乡。

1969年，来到闽北山区建宁县插队，和农民一起种田挣工分。

1972年12月，因为照顾独生子女政策，得以回到父母的身边，成了福州最大的重工业工厂——八一磷肥厂的一名工人，由于户口问题没得到解决，只能在各个车间打杂，大多是三班倒的重体力活。户口“解冻”后，被正式分配到了机修车间，当铣工，负责加工各种齿轮以及在工件上开槽。

1975年，八一磷肥厂开办 “七二一”工人大学，林惠民负责教数学。

1977年，恢复高考，林惠民报考福州大学数学系。

1978年初，拿到的录取通知显示是福州大学数学系软件专业。

1978年02月—1982年02月，就读于福州大学计算机系，并获得计算机软件专业学士学位。

1982年02月—1986年06月，就读于中国科学院软件研究所，并获得计算机科学理论专业博士学位。

1986年06月，留所工作，历任中国科学院软件研究所助理研究员、副研究员（1988年01月—1990年03月）、研究员（1993年晋升）、博士生导师（1994年被聘）。

1986年09月—1987年12月，在英国爱丁堡大学计算机科学基础实验室从事博士后研究。

1990年04月—1993年03月，担任英国萨塞克斯大学（University of Sussex）Research Fellow。

1999年11月，当选为中国科学院院士；同年担任中国科学院软件所计算机科学国家重点实验室主任。

2008年，当选为第一届中国计算机学会会士。

2024年10月，担任全国计算机科学技术名词审定委员会顾问。

林惠民设计并实现了通用进程代数验证工具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.

2019年5月，林惠民专门致信闽江学院软件学院，分享在第二届数字中国建设峰会的见闻与感受，并指导软件学院人才培养与创新工作。他指出，培养软件人才应该有利于引领高层次、高素质、高水平的创新发展；有利于助推“新福建”经济发展；有利于推动科学技术的进步。在实现这一办学目标的过程中，要将创新精神贯穿到人才培养中，思常人之所未思，行常人之所未行，创新力的培养，重在创新思维，贵在创新实践，核心在创新精神。

2017年4月19日，林惠民在福建省福州第一中学高中部报告厅做题为《计算与智能》的专题讲座。

2017年4月21日，林惠民应邀访问中国科学院福建物质结构研究所，并为研究生们作题为《计算与智能》的专题报告。

2018年9月29日，林惠民做客宁夏大学“贺兰山学术论坛暨信息论坛”，并从计算、智能、伦理三方面展开讲解。

2019年6月14日，林惠民参加由中国科学院科普论坛主办的“科学在这里”系列报告会，并做题为《计算与智能》的专题讲座。

林惠民在中国科学院大学雁栖湖校区的教1—209教室来给研一的学生上《并发数据结构与多核编程》课程。

林惠民的父亲母亲都是福州市的普通职工，他是家里的独子。父母一直很重视他的教育，可他天性顽皮。尽管也热爱学习，成绩拔尖，但并不把读书太当回事，从学生时代就被贴上了“只专不红”的标签。解放前夕，他的亲戚中有人跟随国民党去了台湾，于是，他就成了社会关系复杂的孩子。

林惠民学风严谨，勇于开拓创新，取得了一系列国际领先水平的成果，受到国际同行的公认，是在国际上有影响的计算机科学家。（福州大学数学与计算机科学学院评）

林惠民长期从事计算机程序，特别是并发程序的形式语义学及形式化方法的研究，他在进程代数的验证工具、消息传送进程的语义理论和π-演算的公理化等方向上取得了突破性进展。（中国科学院福建物质结构研究所所长曹荣评）