林惠民(1947年11月13日—),男,福建福州人,中国电脑科学家、电脑软件与理论专家,中国科学院软件研究所研究员,长期从事电脑程序的形式语义学及形式化方法的研究。
生平
1947年生于福建省福州市,1982年毕业于福州大学计算机科学系。1986年获中国科学院软件研究所博士学位,1987年爱丁堡大学博士后研究,1999年当选为中国科学院院士。[1]
参考文献
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.