您所在的位置:人才频道 >> 闽都人才 >> 正文

林惠民

http://rencai.fznews.com.cn  2013-03-22 13:24:50    【字号

  林惠民(1947.11— )计算机学家。福建福州人。1982年在福州大学计算机系计算机软件专业获得学士学位;1986年在中国科学院软件研究所获得计算机科学理论专业博士学位。现任中国科学院软件研究所研究员。

  长期从事计算机程序,特别是并发程序的形式语义学及形式化方法的研究。他在进程代数的验证工具、消息传送进程的语义理论和π-演算的公理化等方向上取得了突破性进展,其主要贡献包括:1996年获中国科学院自然科学一等奖(唯一获奖人)。他学风严谨,勇于开拓创新,取得了一系列国际领先水平的成果,受到国际同行的公认,是在国际上有影响的计算机科学家。

  1999年当选为中国科学院院士。

相关新闻