个人资料/履历
林惠民，1947年11月13日出生于福建福州，计算机软件与理论专家，中国科学院院士，中国科学院软件研究所研究员、博士生导师，计算机科学国家重点实验室主任。
人物履历
1947年11月，林惠民出生于福建省福州市。
1960年，从福州市鼓楼第一中心小学毕业，进到福州第十八中学读初中。
1963年秋—1964年夏，在福建省福州第三中学上高一，其中1963年参加福州市初中数学竞赛，1964年参加福州市高中数学竞赛，都拿了二等奖。
1966年，高中毕业，恰逢“文化大革命”，高考取消，他上山下乡。
1969年，来到闽北山区建宁县插队，和农民一起种田挣工分。
1972年12月，因为照顾独生子女政策，得以回到父母的身边，成了福州最大的重工业工厂——八一磷肥厂的一名工人，由于户口问题没得到解决，只能在各个车间打杂，大多是三班倒的重体力活。户口“解冻”后，被正式分配到了机修车间，当铣工，负责加工各种齿轮以及在工件上开槽 [3] 。
1975年，八一磷肥厂开办 “七二一”工人大学，林惠民负责教数学。
1977年，恢复高考，林惠民报考福州大学数学系。
1978年初，拿到的录取通知显示是福州大学数学系软件专业 [6] 。
1978年02月—1982年02月，就读于福州大学计算机系，并获得计算机软件专业学士学位。
1982年02月—1986年06月，就读于中国科学院软件研究所，并获得计算机科学理论专业博士学位。
1986年06月，留所工作，历任中国科学院软件研究所助理研究员、副研究员（1988年01月—1990年03月）、研究员（1993年晋升）、博士生导师（1994年被聘） [7] 。
1986年09月—1987年12月，在英国爱丁堡大学计算机科学基础实验室从事博士后研究。
1990年04月—1993年03月，担任英国萨塞克斯大学（University of Sussex）Research Fellow。
1999年11月，当选为中国科学院院士；同年担任中国科学院软件所计算机科学国家重点实验室主任 [4] 。
2008年，当选为第一届中国计算机学会会士。
荣誉成就
他在进程代数的验证工具、消息传送进程的语义理论和π-演算的公理化等方向上取得了突破性进展，其主要贡献包括：1996年林获中国科学院自然科学一等奖（唯一获奖人）。他学风严谨，勇于开拓创新，取得了一系列国际领先水平的成果，受到国际同行的公认，是在国际上有影响的计算机科学家。
延展资料
