林惠民人物评价

林惠民人物评价林惠民学风严谨,勇于开拓创新,取得了一系列国际领先水平的成果,受到国际同行的公认,是在国际上有影响的计算机科学家 

(福州大学数学与计算机科学学院评)林惠民长期从事计算机程序,特别是并发程序的形式语义学及形式化方法的研究,他在进程代数的验证工具、消息传送进程的语义理论和π-演算的公理化等方向上取得了突破性进展 

以上内容由大学时代综合整理自互联网,实际情况请以官方资料为准。

相关