高中毕业10年后高考，30岁上大学，40多岁从事研究工作，51岁当选中国科学院院士，如今年近70的林惠民院士仍旧有干劲。这个身量并不高大，用软糯的福建口音慢悠悠跟你讲话的“老人家”，自带沉稳笃定的气质。他说得很轻，很淡，无论是动荡坎坷的求学之路，还是意义非凡的科研成果，他都只归功于运气和努力的叠加。

　　林惠民：中国科学院院士、中科院软件研究所学术委员会主任、中国科学院大学岗位教授、博士生导师　　

　　能上大学就是看到了希望   

　　30岁参加高考，这个年纪放到今天难以想象，于1977年文革后恢复高考的那一代人而言却是惊喜。1966年，林惠民高中毕业，恰逢文化大革命，高考取消，他两次上山下乡，1972年因照顾独生子女，回城当工人。 1977年恢复高考，林惠民立即去报考，但当时报考有很多限制，岁数大的人需要开书面证明，证明有一定专长才能报考。 

　　“我没什么特长，只能报数学。”1963年秋至1964年夏，在福建省福州第三中学上高一期间，林惠民和两位同学每周都会去恩师池伯鼎（时任数学教研组组长）家里超前学习高中数学。“还好，1963年参加福州市初中数学竞赛，1964年参加福州市高中数学竞赛，都拿了二等奖。” 

　　因为这两个奖励和池伯鼎老师的推荐，林惠民得以报考福州大学数学系。当时福州大学数学系只招两个专业：应用数学和计算方法。计算方法是机密专业，林惠民有亲戚在台湾，就不能报，他报了应用数学专业。但是1978年初，拿到的录取通知显示是数学系软件专业。林惠民不知道软件是什么，直到入学报道才知道是计算机编程。“这个专业是临时增加的，因为这个偶然性，我这辈子就搞计算机软件了。”回忆当年的情景，林惠民依旧觉得专业的到来出乎意料。  

　　2016年10月19日林惠民重返福州三中跟学生交谈　　

　　在那个电脑刚兴起的年代，专业学习上，林惠民面临很大的困难。“全校只有一台小计算机，还经常坏。”但是，对林惠民来说，“文革十年，国家看不到希望，家庭看不到希望，个人看不到希望。改革开放、恢复高考，就像穿透乌云的第一缕阳光，给我们带来了光明。十年之后，终于考上大学，脑子里除了学习，还是学习。”因为这股劲头，大学四年的时光成了林惠民最难忘的回忆。 

　　大学期间，林惠民养成了很好的自学习惯。大一、大二每周18个课时，大三、大四每周14个学时，专业课开设有限，大部分课余时间泡在图书馆，不明白的地方就和同学讨论。对比现在的学生，一周20多个学时的课程，林惠民担心学生“跟着老师走的太多，自己思考解决问题的时间都没有。” 

　　大学毕业后，林惠民留在福州大学任教。两年后因为发展需要，他直接来到中科院软件所读博士（有论文发表可以跨过硕士直接考博士）。即使是在读博期间，也不同于现在学生的提前规划人生，早早认定专业方向；林惠民对软件领域的喜爱是在慢慢接触中培养的，而且他从未想过要换。“我觉得这个专业挺好，我越接触越喜欢，没什么需要我做改变的。” 

　　今天，他认为，这段逐渐爱上软件专业的经历，培养了他耐得住寂寞，沉得下心钻研的科研态度。 

　　在林惠民的科研道路上，有两段很宝贵的出国工作的经历。和上大学的水到渠成一样，这两次出国交流，也只是机会来临时的顺流而上。

　　出国对比才知道该往哪里努力 

　　在中科院软件所博士毕业以后，1986年9月-1987年12月，林惠民前往英国爱丁堡大学计算机科学基础实验室从事博士后研究。起因仅仅是爱丁堡大学的一个教授来中科院做讲座，报告过程中林惠民向教授提问、交流，“我对他很感兴趣，他对我也很感兴趣。我的博士论文跟教授研究的方向契合，本科期间我还就这个方向发表过论文，他邀请我毕业后一定去爱丁堡。” 

　　当时爱丁堡大学计算机科学基础实验研究室是世界上最好的计算机基础研究室之一，闻名业界的三位教授都在那里，其中一位后来获得了图灵奖。这样好的科研环境，吸引着全世界各地的年轻学者，也深深影响着林惠民，“我真正看到了这个领域最好、最强的，我博士论文研究的方向就是他们开拓出来的。相比之下，我们的基础就差很多，那里用到的一些数学工具，如λ-演算，我们国内没有。” 

　　因为差很多，林惠民遇到的第一个问题就是：“他们讲的一些东西我听不懂，必须重新学。” 当时林惠民的心情相当复杂，“第一，我有做下去的冲动，有一股很大的力量推着我往上走，那是学科发展到最快的阶段自身激发出的活力。第二，我明白自己确实有很多东西需要学习。第三，我也感到有自信，这些科学家是聪明人但并不是超人，他们的思维和创新背后有一个强大的逻辑，他们能做到的，我也能做到。” 

　　在这样的信念驱动下，1990年到1993年，林惠民再次前往英国，到Sussex大学从事并发理论及形式化方法的研究。此间，他提炼出了一个可以描述各种进程演算公理语义的元语言，在此基础上，他设计并实现出了世界上第一个通用的进程代数验证工具PAM。之后，林惠民与Hennessy教授合作，提出了“符号互模拟理论”，在消息传送进程研究中取得突破性进展。在此基础上，林惠民对PAM加以扩充，研制成迄今世界上唯一能对付消息传送进程的验证工具VPAM。用“符号互模拟理论”，林惠民还解决了图灵奖获得者Milner教授与其合作者提出的π-演算的有穷公理化问题。 

　　这些成果已为国际同行在公开发表的文献中所广泛引用。问起取得的原因，林惠民认为，“当时几个地方都在做进程代数的验证工具。别人都是面向某个具体的进程代数理论做一个工具，我试图只做一个工具，能够适用于不同的理论，这就需要提供一个元语言。我们运气好，先做出来了，大家看了都高兴。π演算的公理化是另外一个问题，用符号互模拟理论恰好能解决它，比其他方法好用，这看起来像个意外。应该是我们对符号互模拟这个工具耍得熟了，拿起来就知道应该往哪儿用，就像拿着水果刀就知道去削皮一样。” 

　　基于自己的科研成长经验，林惠民很鼓励自己的学生也出国去看一看，感受不同的学术传统，他也欢迎国外的学生来他的实验室交流。现在，软件所计算机科学国家重点实验室的国际化环境就很好，有好几个科研人员和学生来自国外，林惠民自己就有一个丹麦的联合培养硕士生。 

　　1999年林惠民被评为“国家级有突出贡献的中青年专家”，同年11月当选为中国科学院院士。这些人生预期之外的荣誉，是多年努力后的自然沉淀，也让林惠民更明白“身居其位，就要尽量把工作做好”。身为中国科学院大学的博导、岗位教授，近些年，林惠民把更多的时间和精力用在了指导学生科研和教授课程上。 

　　把学生送的花珍藏了九年 

　　在林惠民的办公室内，整齐地摆放着8束花，有的已经完全干枯，有的尚有生机。这是搬到这栋办公楼的9年来，他每一年收到的教师节鲜花（有一年教师节他刚好出国开会）。林惠民收藏这些鲜花的理由相当朴实：“这是学生的心意。” 

　　他也从不要求学生几点来工作，几点走。“我读书时也没被这么要求过，每个人生活节奏不同，宽松点挺好，要想知道学生的学习和工作状况，跟他交谈就行了。” 

　　虽然已经年近70，这学期每周四下午，林惠民都会准时地来到中国科学院大学雁栖湖校区的教1—209教室来给国科大研一的学生上《并发数据结构与多核编程》的课程。他说，“我很喜欢和学生相处，我年纪大了，不能记住100多个学生中的每一个，但我觉得他们对这门课感兴趣，讲的时候非常注意学生的表情和反馈。希望不仅传授知识，还能传授给他们做学问的方法。” 

　　林惠民的课堂是非常受欢迎的，院士光环之外，学生感受更多的是他渊博知识与亲和力。这门课的学生李昕元说，“我很喜欢上林院士的课，他有很多精彩的观点，跟大家互动也多，课间去向他提问，他都会很耐心地解答。” 

　　另一位同学贺雨晴说，“林老师非常认真负责，有一次我请林老师将他改过的课件上传到课程网站上，然后我下载后，却发现还是原来没有改过的。之后，我又去问林老师，林老师竟然记得我，说上周也是我问的他，然后他告诉我已经将改过的课件上传上去了。下课后，我一看还真的是改过的。” 

　　此外，林惠民还担任清华大学计算机科学与技术系兼职教授，偶尔去做讲座。谈起自己的学习经验，林惠民说，“小学的数学（那时叫“算术”）培养了我的分步骤解题能力，中学的代数、几何训练了我思维的严谨性。我把编程看作是一个事情的两个方面。一是用算法思想把复杂的问题分解成机械的步骤。二是有严谨的思路，分解完以后最后能解对。我觉得同学们编程序时，把自己尽量变得傻瓜一点儿，跟计算机一样傻，你就能编好了。” 

　　在生活上，林惠民是个珍惜情谊的人，几乎每年春节他都会回到家乡福州，现在在北京还会自己做家乡菜——萝卜年糕。“我30岁上大学，毕业后留校当2年老师，36岁才离开福州，那里是我的根啊！”   

　　2014年春节林惠民重游三坊七巷故居

　　林惠民的家位于福州的一个老巷子里，环境幽静，以前是士大夫阶层聚集的地方，自有文人风骨底蕴，现在被作为国家重点文物单位保护起来了。年少时，林惠民在这里看了很多杂书，诗词、历史、哲学、小说，几乎是找到什么就看什么。 

　　这样的环境滋养着林惠民的精神气韵，“我从小就不喜欢想功利性的事情，不会想要赚多少钱，或一定要出人头地之类。当时社会没有望子成龙的风气，我的父母都是小职员，虽然工资不高，但对独生子的我没有太多的要求，只希望我能生活得好。” 

　　现在的林惠民的确生活得很好，他专注于自己的研究，定期给年轻人授课，每天游泳健身。他说，“我现在依然很有劲。年轻时我种田做工，几乎是中年阶段才开始从事科学研究，这是我人生的转折点。能上大学并从事科研工作，我感到很幸运。”   

                                                                                                                  文：王亭亭 周亚球

　　                                                                                                            图：王亭亭

　　                                                                                                            校对：邓涛

　　本文转自：中国科学院大学微信公众号