服务国家航天航空等重大工程，
为国产轨道交通
提供安全可信保障技术，
助力上海地铁线首次实现无人驾驶，
……
在上海有这样一个实验室
为我国航空航天、轨道交通、
电力控制等安全攸关领域，
提供了自主可控、高度可信的
中枢神经。
上海市高可信计算重点实验室
始建于年12月，
年7月
经上海市科委批准正式运行，
创建者为
中国科学院院士何积丰教授。
20世纪80年代，何积丰院士被学校先后派往美国斯坦福大学、英国牛津大学进修学习。在牛津大学进修期间，他与英国计算机科学家、图灵奖获得者托尼·霍尔一起创造性地提出了软件领域的程序统一理论（utp），并由此开创了程序统一理论的国际学派。
年，他响应党和国家号召，受命组建国家首批示范性软件学院之一的华东师范大学软件学院。何积丰院士
转载请注明：http://www.baoshijiec.com/ylhx/15032.html
