林惠民

林惠民  ， 男 ， 福建福州人 ， 中國計算機科學家 、 計算機軟件與理論專家 ， 中國科學院軟件研究所研究員 ， 長期從事計算機程序的形式語義學及形式化方法的研究 。