林惠民
林惠民，1947年11月13日出生于福建福州，计算机软件与理论专家，中国科学院院士，中国科学院软件研究所研究员、博士生导师，计算机科学国家重点实验室主任。1982年林惠民从福州大学计算机科学系毕业；1986年获得中国科学院软件研究所博士学位后留所工作，历任助理研究员、副研究员、研究员、博士生导师；1986年至1987年在英国爱丁堡大学计算机科学基础实验室从事博士后研究；1990年至1993年担任英国萨塞克斯大学ResearchFellow；1999年当选为中国科学院院士；2008年当选为第一届中国计算机学会会士。林惠民长期从事计算机程序的形式语义学及形式化方法的研究。
基本资料
中文名：林惠民
国籍：中国
出生地：福建省福州市
出生日期：1947年11月
毕业院校：中国科学院软件研究所
职业：教育科研工作者
主要成就：1999年当选为中国科学院院士
人物经历
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月，担任英国萨塞克斯大学（UniversityofSussex）ResearchFellow。
1999年11月，当选为中国科学院院士；同年担任中国科学院软件所计算机科学国家重点实验室主任。
2008年，当选为第一届中国计算机学会会士。
主要成就
林惠民科研成就
科研综述
林惠民设计并实现了通用进程代数验证工具PAM/VPAM，对这类工具的发展产生了重要影响。与英国Hennessy教授合作提出，并独立发展了“符号互模拟”理论，解决了传统并发计算模型对大量实际应用不能有效模拟的问题，为在计算机上对通信并发进程进行推理和验证提供了理论依据。提出并发计算模型之一π-演算弱互模拟的完备证明系统和唯一不动点归纳法，解决了π-演算的有穷公理化问题。
学术论著
LinHuimin,HeZhenrong,DuDaizian,eal.StudiesonNitrogenaseofBlue-GreenAlgae[M].SpringerNetherlands,1984.
LinHuimin.APredicateSpatialLogicandModelCheckingforMobileProcesses[C]//TheoreticalAspectsofComputing-ICTAC2004,FirstInternationalColloquium,Guiyang,China,September20-24,2004,RevisedSelectedPapers.Springer-Verlag,2004.
LinHuimin.Agraphicalμ-calculusandlocalmodelchecking[J].JournalofComputerScienceandTechnology,2002,17(6):665-671.
承担项目
科研成果奖励
林惠民人才培养
教育思想
2019年5月，林惠民专门致信闽江学院软件学院，分享在第二届数字中国建设峰会的见闻与感受，并指导软件学院人才培养与创新工作。他指出，培养软件人才应该有利于引领高层次、高素质、高水平的创新发展；有利于助推“新福建”经济发展；有利于推动科学技术的进步。在实现这一办学目标的过程中，要将创新精神贯穿到人才培养中，思常人之所未思，行常人之所未行，创新力的培养，重在创新思维，贵在创新实践，核心在创新精神。
讲座报告
2017年4月19日，林惠民在福建省福州第一中学高中部报告厅做题为《计算与智能》的专题讲座。
2017年4月21日，林惠民应邀访问中国科学院福建物质结构研究所，并为研究生们作题为《计算与智能》的专题报告。
2018年9月29日，林惠民做客宁夏大学“贺兰山学术论坛暨信息论坛”，并从计算、智能、伦理三方面展开讲解。
2019年6月14日，林惠民参加由中国科学院科普论坛主办的“科学在这里”系列报告会，并做题为《计算与智能》的专题讲座。
讲授课程
林惠民在中国科学院大学雁栖湖校区的教1—209教室来给研一的学生上《并发数据结构与多核编程》课程。
林惠民荣誉表彰
社会任职
个人生活
林惠民的父亲母亲都是福州市的普通职工，他是家里的独子。父母一直很重视他的教育，可他天性顽皮。尽管也热爱学习，成绩拔尖，但并不把读书太当回事，从学生时代就被贴上了“只专不红”的标签。解放前夕，他的亲戚中有人跟随国民党去了台湾，于是，他就成了社会关系复杂的孩子。
人物评价
林惠民学风严谨，勇于开拓创新，取得了一系列国际领先水平的成果，受到国际同行的公认，是在国际上有影响的计算机科学家。（福州大学数学与计算机科学学院评）
林惠民长期从事计算机程序，特别是并发程序的形式语义学及形式化方法的研究，他在进程代数的验证工具、消息传送进程的语义理论和π-演算的公理化等方向上取得了突破性进展。（中国科学院福建物质结构研究所所长曹荣评）