登陆
注册
高可信软件技术助力代码质量提升
有556人正在学习
上海控安
2021-08-31 13:43
当前，全球新一轮科技革命和产业变革正加速演进，新一代信息技术及其深度应用已经推动人类社会步入到新的发展阶段，数字经济成为发展的新引擎，将引领未来发展。在数字经济时代，软件技术已经成为企业的核心竞争力。在“软件定义一切”的当下，未来社会经济高质量的发展，都离不开软件技术的支撑。尤其是在航空航天、国防装备、核能、金融、医疗设备、交通等安全攸关的领域，开发高可信的软件成为迫切的需求和挑战。
李兆鹏
李兆鹏，中国科学技术大学计算机软件与理论专业博士研究生毕业，现任安徽中科国创高可信软件有限公司研发总监。研究专长为计算机软件与理论，特别是C程序验证和分析领域。2008—2014年从中国科学技术大学毕业后，在中国科学技术大学从事博士后科研工作。2015年－2017年，在中国科学技术大学作为副研究员从事程序分析与验证方面的科研工作。
