上海花千坊419论坛

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

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

人物名片

  • 中文名 林惠民
  • 性别
  • 国籍 中国
  • 出生地 福建省福州市
  • 出生日期 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编辑”、“MAIGOO榜单研究员”、“MAIGOO文章编辑员”上传提供的文章/文字均是注册用户自主发布上传,不代表本站观点,版权归原作者所有,如有侵权、虚假信息、错误信息或任何问题,请及时联系我们,我们将在第一时间删除或更正。 申请删除>> 纠错>> 投诉侵权>> 网页上相关信息的知识产权归网站方所有(包括但不限于文字、图片、图表、著作权、商标权、为用户提供的商业信息等),非经许可不得抄袭或使用。
提交说明: 快速提交发布>> 查看提交帮助>> 注册登录>>
相关推荐
中国科学院院士名单 历年中国科学院新增院士名单
中国科学院院士,是中华人民共和国设立的科学技术方面的最高学术称号,为终身荣誉,是中国大陆最优秀的科学精英和学术权威群体。原称为“中国科学院学部委员”,1993年10月改为现名,1994年开始增选外籍院士。中科院两年一度增选院士,下面为您介绍中科院院士名单大全,历年中国科学院新增院士名单。
科学家 聚焦人物 ★★★
6.5万+ 132
国家杰青名单都有谁? 历年国家杰出青年名单
国家杰出青年科学基金(英文:The National Science Fund for Distinguished Young Scholars,简称:杰青基金),是中国为促进青年科学和技术人才的成长,鼓励海外学者回国工作,加速培养造就一批进入世界科技前沿的优秀学术带头人而特别设立的科学基金。下面为你介绍了历年的获得国家杰出青年科学基金的名单。
名单 聚焦人物 ★★★
2.9万+ 130
太空探索的十大贡献者 世界著名天文学家有哪些
世界著名天文学家有哪些?说到天文学,对于大多数人来说都是个遥远的存在,天文学家更是神秘莫测,那你知道世界著名天文学家有哪些呢?本文就为大家带来了太空探索的十大贡献者,其中包括:尼古拉·哥白尼、威廉·赫歇尔、约翰尼斯·开普勒等等,一起来了解下这些世界闻名的天文学家吧。
科学家 世界名人 ★★★
1万+ 50
国医大师有哪些?历届国医大师名单一览(附简介)
“国医大师”称号是我国中医药行业最高的荣誉,也是我国中医药工作者的杰出代表,可享受省部级劳动模范和先进工作者待遇。“国医大师”表彰自2009年开展,每五年评选一次,每届评选30人,现已评出三届共90名“国医大师”。国医大师有哪些?最新国医大师名单是怎样的呢?下面Maigoo小编为您整理了历届国医大师名单及擅长科一览,一起来看!
中医 医生
11万+ 147
医学科学家有哪些?最新生物医学科学家盘点
一般来说,临床医生的职责是救助患者,提高临床业务能力,而医学科学家则是致力于理论研究和医学技能方面的提升。古往今来,医学科学家层出不穷,很多更是获得过诺贝尔生理学或医学奖等医学权威奖项。那么,医学科学家有哪些呢?下面买购这篇专题就来介绍最新生物医学科学家盘点,一起来了解下吧。
医生 科学家 ★★★
6505 27