林惠民

林惠民

林惠民，毕业于福州大学，计算机软件与理论专家，中国科学院院士。长期从事计算机程序的形式语义学及形式化方法研究，现任中国科学院软件研究所研究员、博士生导师，曾获 “国家级有突出贡献的中青年专家”、“国家自然科学奖二等奖”等荣誉。

人物名片

中文名：林惠民

性别：男

国籍：中国

出生地：福建省福州市

出生日期：1947年11月

毕业院校：福州大学

职业职位：中国科学院院士

主要成就：“国家级有突出贡献的中青年专家”、“国家自然科学奖二等奖”

人物履历

1972年12月，担任八一磷肥厂工人。

1975年，八一磷肥厂开办 “七二一”工人大学，负责教数学。

1978年02月 - 1982年02月，就读于福州大学计算机系，并获得计算机软件专业学士学位。

1982年02月 - 1986年06月，就读于中国科学院软件研究所，并获得计算机科学理论专业博士学位。

1986年06月，留在中国科学院软件研究所工作，历任助理研究员、副研究员、研究员、博士生导师。

1986年09月 - 1987年12月，在英国爱丁堡大学计算机科学基础实验室从事博士后研究。

1990年04月 - 1993年03月，担任英国萨塞克斯大学（University of Sussex）研究院。

1999年11月，当选为中国科学院院士。同年，担任中国科学院软件所计算机科学国家重点实验室主任。

2008年，当选为第一届中国计算机学会会士。

荣誉成就

1996年，荣获“中国科学院自然科学奖一等奖”。

1999年，荣获“国家级有突出贡献的中青年专家”称号、“国家自然科学奖二等奖”。

1999年11月，当选为中国科学院院士。