林惠民-中国著名计算机软件与理论专家介绍

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

人物名片

  • 中文名 林惠民
  • 性别
  • 国籍 中国
  • 出生地 福建省福州市
  • 出生日期 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月,当选为中国科学院院士。

网站提醒和声明
本网站为注册用户提供信息存储空间服务。除Maigoo网官方发布内容外,用户自主上传的文章、文字、图片等均不代表本站立场,本站亦不主动修改编辑,不对其真实性、合法性、准确性负责。如涉侵权、违法虚假等问题,权利人可通过平台投诉并提交相关证明,平台将依法履行通知和删除义务。 申请删除>> 纠错>> 投诉侵权>> 平台自有内容(文字、图片、界面、榜单、商标、LOGO 等)知识产权归本站所有,未经书面许可,禁止复制、转载、商用。
提交说明: 快速提交发布>> 查看提交帮助>> 注册登录>>
相关推荐
防诈骗提醒:勿兼职/勿刷单做任务/勿转账>> 2026年04月品牌知名度调研问卷>>