人物生平

何积丰，中国科学院院士，程序验证与形式化方法专家。21世纪初，何积丰 院士瞄准国家重大战略需求，在程序验证与形式化方法领域开展了一系列开创性研究，他（她）长期聚焦于程序验证、形式化方法与可信软件等核心科学问题，先后主持国家自然科学基金重大项目、国家重点研发计划项目、国家高技术研究发展计划（863计划）项目及多项省部级重大科研课题，系统开展了程序验证、形式化方法与可信软件方面的深入探索，在理论创新与技术突破上取得了一系列具有国际影响力的成果。何积丰 院士注重学科交叉与人才培养，培育了大批优秀科研骨干，为推动我国程序验证事业发展、服务国家战略需求与人民健康福祉做出了卓越贡献。

科研成就

在程序验证与形式化方法领域做出了系统性、开创性贡献：（1）率先建立了适合我国国情的程序验证与形式化方法研究体系，揭示了程序验证、形式化方法与可信软件的关键科学规律；（2）发展了程序验证、形式化方法与可信软件相关的新技术、新方法与新工艺，部分成果已被广泛应用于科研与生产实践，取得了显著的经济与社会效益；（3）在国际高水平学术期刊发表论文百余篇，出版专著多部，多次获得国家自然科学奖、国家科学技术进步奖及省部级科技奖励；（4）积极推动国内外学术交流与合作，担任多个重要学术组织与期刊的编委、顾问或主编，为提升我国程序验证的国际影响力发挥了重要作用。

荣誉表彰

2005年当选中国科学院院士。因在程序验证与形式化方法领域的突出贡献，何积丰 院士先后获得国家自然科学奖、国家科学技术进步奖、全国五一劳动奖章、全国优秀科技工作者等多项重要荣誉，并被授予多个国际学术团体的荣誉称号，是我国程序验证学界公认的杰出代表。

社会任职

何积丰 院士曾担任或现任中国科学技术协会副主席、中国程序验证学会理事长、程序验证与形式化方法专业委员会主任委员等重要社会职务，同时兼任联合国大学/中国科学院等多所知名高校和科研院所的教授或荣誉教授，积极参与国家科技战略咨询与重大项目评审工作，为我国科技体制改革与学科建设发挥了重要作用。