关于STC


吾乃专家何积丰院士长期从事计算机软件理论及应用研究,针对软件的复杂性、正确性和可靠性等问题开展了系统性的研究。他是程序统一理论创立者、数据精化完备理论奠基者、可信软件设计理论与技术开拓者。主要科学贡献:(1)系统性地研究了各类程序语言语义理论,与图灵奖获得者Hoare教授共同开创了程序统一理论学派,奠定了软件语义元理论基础,被国际上公认为研究各类程序语言的一种标准方法;(2)首次提出了数据精化的“程序分解算子”与“上下仿真映照对”方法,创建了数据精化完备理论,国际计算机科学界誉其为"面向模型软件开发的一个里程碑";(3)开拓了基于模型的可信软件设计理论与技术,相关成果已被轨道交通、汽车电子、航天控制等安全攸关领域所采用,该成果被应用在上海普华的汽车电子操作系统验证过程,验证后的操作系统成为国内首个通过欧洲OSEK标准认证的操作系统,并首次出口欧洲。 

何积丰院士担任国家自然科学基金委重大研究计划、科技部973计划、863计划主题项目首席科学家,领衔国家自然科学基金委创新研究群体。出版英文专著2部,在国际期刊和会议上发表论文160余篇,他引4000余次。以唯一完成人荣获国家自然科学奖二等奖和上海市科技进步奖一等奖各1项,以第一完成人获省部级科技进步奖与科技成果奖一等奖4项,两次荣获英国女王先进技术奖。曾获上海市教书育人楷模、上海高校教学名师、上海市五一劳动奖章、上海市优秀共产党员、上海市劳动模范等称号。

Copyright © 2020 深圳市润鹏华通创新科技有限公司 All Rights Reserved.         网安备 44030702003192号     粤ICP备  20069293号

关闭
0755-86111843 工作日:9:00-18:00
评测业务在线申请