林惠民 百科内容来自于: 百度百科

简介

林惠民,1947年11月13日出生于福建福州,计算机软件与理论专家,中国科学院院士,中国科学院软件研究所研究员、博士生导师,计算机科学国家重点实验室主任。
1982年林惠民从福州大学计算机科学系毕业 ;1986年获得中国科学院软件研究所博士学位后留所工作,历任助理研究员、副研究员、研究员、博士生导师;1986年至1987年在英国爱丁堡大学计算机科学基础实验室从事博士后研究;1990年至1993年担任英国萨塞克斯大学Research Fellow ;1999年当选为中国科学院院士 ;2008年当选为第一届中国计算机学会会士。
林惠民长期从事计算机程序的形式语义学及形式化方法的研究。