林惠民

林惠民
林惠民
出生	1947年11月13日; 中華民國福建省福州市
国籍	中华人民共和国
母校	福州大学
职业	计算机科学家

林惠民（1947年11月13日—），男，福建福州人，中国计算机科学家、计算机软件与理论专家，中国科学院软件研究所研究员，长期从事计算机程序的形式语义学及形式化方法的研究。

生平

1947年生于福建省福州市，1982年毕业于福州大学计算机科学系。1986年获中国科学院软件研究所博士学位，1987年爱丁堡大学博士后研究，1999年当选为中国科学院院士。^[1]

参考文献

^ 院士信息·信息技术科学部·林惠民. 中国科学院学部与院士. （原始内容存档于2013-10-02）.

[1] 院士信息·信息技术科学部·林惠民. 中国科学院学部与院士. （原始内容存档于2013-10-02）.

[1]

查论编中国计算机学会会士
2008年	陈国良陈俊亮陈左宁戴　浩方滨兴高庆狮何新贵胡启恒金怡濂李　未李伯虎李德毅李国杰李三立林惠民卢锡城倪光南潘云鹤沈昌祥沈绪榜孙家广王守觉夏培肃杨芙清张　钹张效祥张尧学郑南宁周巢尘周兴铭
2009年	怀进鹏
2010年	高　文黄永勤李明树吕　建梅　宏孙凝晖吴朝晖吴建平赵沁平郑纬民
2011年	陈道蓄廖湘科林　闯钱德沛史忠植徐志伟杨学军
2012年	金　芝李建中李晓明王怀民王　珊
2013年	陈熙霖陈　钟樊建平胡事民胡伟武金　海孟小峰谭铁牛吴恩华徐晓飞周志华
2014年	杜小勇李宣东马华东马建峰王恩东于　戈周兴社
2015年	鲍虎军过敏意李晓维刘志勇潘成胜唐卫清肖建国徐宝文杨士强郑庆华
2016年	陈　纯陈恩红陈小武程学旗何炎祥侯紫峰刘爱民齐　勇史元春周傲英
2017年	陈宝权陈贵海黄庆明彭智勇漆锋滨舒继武陶建华王蕴红肖　侬于　剑
2018年	窦　勇杜军平段振华梁吉业芮　勇张　健朱文武
2019年	冯　丹顾　宁黄铁军焦李成李　波王国胤王巨宏王晓阳徐迎庆丛京生李贤玉冯登国王耀南
2020年	何积丰
维基百科分类

查论编福建籍中国科学院院士
数学物理学部	张钰哲（闽侯，1955）张文裕（惠安，1957）陈景润（福州，1980）谢希德（泉州，1980）林同骥（福州，1980）沈　元（福州，1980）陈　彪（福州，1980）王绶琯（福州，1980）陈建生（福州，1991）林　群（连江，1993）王乃彦（福州，1993）周　恒（浦城，1993）刘应明（福州，1995）蔡诗东（东山，1995）欧阳钟灿（泉州，1997）郭柏灵（龙岩，2001）陈木法（惠安，2003）詹文龙（厦门，2005）陈和生（福州，2005）俞昌旋（福清，2007）李儒新（建瓯，2017）
化学部	卢嘉锡（厦门，1955）傅鹰（福州，1955）虞宏正（闽侯，1955）莊長恭（泉州，1955）蔡镏生（泉州，1957）田昭武（福州，1980）黄维垣（莆田，1980）蔡启瑞（同安，1980）陈茹玉（闽候，1980）卢佩章（永定，1980）张乾二（惠安，1991）陈俊武（长乐，1991）梁敬魁（福州，1993）林尚安（永定，1993）卓仁禧（厦门，1997）侯虞钧（福州，1997）吴新涛（石狮，1999）林国强（福清，2001）江龙（建瓯，2001）侯建国（福清，2003）洪茂椿（莆田，2003）陈懿（福州，2005）田中群（厦门，2005）姚建年（晋江，2005）张俐娜（光泽，2011）谢素原（上杭，2021）
生命科学和医学学部	林巧稚（厦门，1955）王应睐（金门，1955）鄧叔群（福州，1955）刘崇乐（福州，1955）刘思职（仙游，1957）王善源（福州，1957）唐仲璋（福州，1980）曾呈奎（厦门，1980）郑作新（福州，1980）黄祯祥（厦门，1980）王世真（福州，1980）陈宜瑜（仙游，1991）吴孟超（闽清，1991）陈可冀（福州，1991）唐崇惕（福州，1991）施教耐（晋江，1991）谢联辉（龙岩，1991）庄巧生（闽侯，1991）陈霖（福州，2003）林其谁（莆田，2003）谢华安（龙岩，2007）林圣彩（尤溪，2021）
地学部	傅承义（闽侯，1957）高由禧（福清，1980）卢衍豪（永定，1980）曾融生（平潭，1980）黄荣辉（泉港，1991）林学钰（福州，1997）黄建平（漳平，2021）
信息技术科学部	高庆狮（廈門，1980）王启明（晋江，1991）阙端麟（福州，1991）张钹（福清，1995）林惠民（福州，1999）陈桂林（南安，2001）郑有炓（大田，2003）郭光灿（惠安，2003）龚旗煌（莆田，2013）黄如（南安，2015）
技术科学部	侯德榜（闽侯，1955）严恺（闽侯，1955）叶渚沛（厦门，1955）梁守槃（福州，1980）林兰英（莆田，1980）郭可信（福州，1980）蔡其巩（泉州，1980）陈宗基（安溪，1980）闵桂荣（莆田，1991）林秉南（莆田，1991）卢肇钧（福州，1991）吴硕贤（诏安，2005）胡海岩（闽侯，2007）
外籍院士	林家翘（福州，1994）林同炎（福州，1996）薩支唐（闽侯，2000）蔡南海（南安，2006）

规范控制数据库
国际	ISNI
学术	zbMATH

林惠民
出生	1947年11月13日中華民國福建省福州市
国籍	中华人民共和国
母校	福州大学
职业	计算机科学家

林惠民

生平

参考文献

€4.95