福州籍院士林惠民：从三坊七巷走出的“数海弄潮者”
本期嘉宾
林惠民，1947年出生于福建福州，中国科学院软件研究所研究员、中国科学院院士（1999年当选）。他1982年毕业于福州大学计算机科学系，1986年获中科院软件所博士学位。作为并发理论与形式化方法领域的国际知名学者，他在进程代数验证工具开发、消息传递语义建模及π-演算公理化等方向取得多项奠基性成果，多项研究被全球同行广泛引用。
上世纪70年代，当福州八一磷肥厂的铣床还在轰鸣时，这位后来的院士正利用工余时间自学日语、翻译日本高等数学教材；十年后，他以30岁“高龄”考入福州大学——这封迟到的录取通知书，成为他通往世界软件理论前沿的第一张船票。
在福大求学期间，数学系1977级率先设立软件专业，师资远赴中科院计算所进修，课程虽尚处探索阶段，却为学生打开了通向科研前沿的窗口。林惠民几乎将全部课余时间投入图书馆与研讨，在毕业前便将学习成果发表于《福州大学学报》。这段扎根榕城的本科时光，为他后续攻读博士、赴英爱丁堡大学深造及开展原创性研究，奠定了坚实基础。
“我习惯挑战难解的问题。”少年时的解题偏好，贯穿了他整个学术生涯。20世纪80年代末，面对欧美验证工具仅适配单一进程演算的局限，他提出“必须做一个通用工具”的目标，仅用数月即设计出可描述各类进程演算语义的元语言，并成功研制出全球首个通用进程代数验证系统。此后，他与英国学者合作创立“符号互模拟”理论，攻克π-演算有穷公理化难题，使我国在该领域跃居国际第一梯队。
如今已过古稀之年的林惠民，仍坚持每周往返于北京中关村实验室。退休返聘后虽不再授课或评审，却将精力持续投入算法优化等新课题。“很多人在做，但还没人做出好结果——我想试试。”他笑着称自己是靠“软饭”谋生的人，而这份“软”，恰恰支撑起了最硬核的理论突破。
林惠民。（市科协供图）
福州不仅是他的故乡，更是他科学启蒙与反哺之地。近年来，他多次回到罗源一中、福州三中等本地中学，开展《计算与智能》等主题科普讲座。今年5月“大手牵小手”活动中，学生们排长队索要签名，高一学生张殿钧捧着签有名字的《信息技术》课本激动不已：“林院士让我相信，福州也能走出顶尖计算机科学家！”
作为数字中国建设峰会的常客，林惠民每两年必赴福州参会，分享前沿观点；本地高校与企业登门请教，他也总是倾囊相授。“福州发展数字经济，既有数字产业积淀，又有闽都人文底蕴作支撑。”他说，“希望未来更多‘榕籍’青年能在这片热土上，成长为驱动中国软件自主创新的中坚力量。”
林惠民参加罗源一中第30届科技节活动，现场做专题讲座。（市科协供图）
林惠民（左二）参加第四届数字中国建设峰会院士峰会行活动。记者 邹家骅 摄
