林惠民

  • 林惠民
    长期从事计算机软件形式语义学及形式化方法的研究。设计并实现了通用进程代数验证工具PAM/VPAM,与国际同行合作提出、并独立发展了“符号互模拟”理论,为在计算机上对通信并发进程进行推理和验证提供了理论依据。曾获1996年中国科学院自然科学奖一等奖和1999年国家自然科学奖二等奖。1999年当选中国科学院院士。