计算机软件与理论专家,长期从事计算机程序的形式语义学及形式化方法的研究。1947年11月13日生于福建福州。1982年毕业于福州大学计算机科学系,1986年获中国科学院软件研究所博士学位。1999年当选为中国科学院院士.
2025年第二季度中国好人榜 2024年太原市五一劳动奖章 2025年山西省五一劳动奖章 2024年广西五一劳动奖章 2024年全国最美志愿者 第29届中国青年五四奖章 2025年全国见义勇为勇士 2025年全国劳动模范