更多解释

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