收藏本站
设为首页
2018年12月20日 星期四
站内搜索
要闻播报 公告通知 基层动态 科普七进 学会大观 科普惠农 院士工作 组织建设 媒体视角 经验交流 调研文章 科技精英 政策法规

林惠民 院士

2010-11-3  三明市科协    

林惠民(1947.11—),福建福州人。1982年毕业于福州大学计算机科学系。1986年获中国科学院软件研究所计算机科学理论专业博士学位。中国科学院软件研究所研究员。长期从事计算机程序的形式语义学及形式化方法的研究1996年获中国科学院自然科学一等奖(唯一获奖人)。1999年当选为中国科学院院士。

三明市政府科技发展顾问。

本栏目最近10篇文章:

相关文章

    暂无相关文章!
分享到: 微信 更多