来源 :安徽上市公司协会2023-09-21
日前，中央电视台财经频道《经济半小时》栏目播出《转化路上“勇闯关”，科技成果“结硕果”》新闻专题，聚焦安徽合肥多家科技企业。该专题从科技成果自实验室走向生产线，再到摆上货架，实现科技与产业双向奔赴的角度出发，重点报道了科大国创的转化策略以及创新成果。科大国创董事，中科国创副总经理、首席专家纪金龙博士接受了采访。
高可信软件是科大国创自主研发的面向程序分析和形式验证领域的基础工具软件，颠覆了传统的软件开发方法,确保了关键性软件的可靠性、可信性和安全性，可应用于航空航天、国防军工、轨道交通、智能汽车、金融、能源等安全攸关领域，为未来机器人编程打下基础。相关产品曾荣获CCF中国软件大会一等奖，是填补国内空白和解决“卡脖子”难题的关键技术，在国内国际处于领先地位，为国家加快实现高水平科技自立自强贡献力量。
纪金龙博士在采访中所说，“公司最大的资本就是人才”。科大国创由陈国良院士担任首席科学家，团队核心研发人员由“院士-教授-博士”组成，形成了高中青的人才梯队。公司始终专注于研发力量的投入，在软件质量与安全领域，自主研发了国创高可信系列产品，包括程序分析和程序验证系列工具。在向安全攸关行业提供全面软件质量和安全管理解决方案的同时，提供可信测试服务，帮助客户从源头构筑软件安全及质量保证体系，从而助力中国软件行业的高质量发展，成功实现了科技成果和产业应用的双向奔赴。