林惠民
林惠民（1947 年 11 月 13 日 —），男，福建福州人，中國電腦科學家、電腦軟體與理論專家，中國科學院軟件研究所研究員，長期從事電腦程式的形式語意學及形式化方法的研究。