何积丰是中国科学院院士、著名计算机软件科学家。他主要从事计算机软件理论及应用研究，针对软件的复杂性、正确性和可靠性等问题开展系统性的研究。在12-24播出的《未来说·执牛耳者》节目中，何积丰介绍他现在在研究的是安全可信人工智能。

二零一七年香山科学会议，何积丰在世界上首次提出“可信人工智能”，自此世界各地开始广泛关注人工智能的安全可信问题。

四十年前何积丰就意识到，软件不总是可以让人信任的，他开始用数学方法研究计算机可信。

何积丰介绍，那时候有一批教师，包括好几个图灵奖获得者都在做程序正确性的证明，就是程序是不是对，要用一些数学手段来证明它确实对，他就是那时候进入到那个领域里面去的。

在牛津大学，何积丰曾与图灵奖获得者Tony Hoare教授一起工作了很多年，并且提出了享誉世界的“程序统一理论”，这个理论今天一直被很多追随者发展着。

如今，何积丰开始将目光投向人工智能，如何让人工智能安全准确地完成任务是一项新挑战。

点击观看完整版视频

（素材来源：《未来说·执牛耳者》节目组）