林惠民 林惠民年月日男福建福州人中国计算机科学家计算机软件与理论专家中国科学院软件研究所研究员长期从事计算机程序的形式语义学及形式化方法的研究