程先乐，科大国创董事、副总裁，总经理信息系统项目管理师（高级）曾先后主持“金融资产管理系统”、“交易管理系统”、“寿险承保管理系统”、“原料供应链管理系统”、“设备投资预算管理系统”等多个国际信息系统项目的设计与开发作为技术负责人参与了“基于SOA海量数据集成与业务协同系统”的总体设计等。

　　科大国创软件股份有限公司董事、副总裁，安徽科大国创软件有限公司总经理程先乐

　　合肥市服务外包行业协会（以下简称“协会”）：程总，您好！首先请您简单地介绍一下科大国创软件股份有限公司（以下简称“科大国创”）和贵公司目前的主要业务。

　　程先乐：科大国创是国内领先的数据智能技术研发和应用的高科技上市企业，致力于打造软硬件一体化的智能产品，提供以云平台为基础的IT整体解决方案与服务。

　　科大国创源自中国科学技术大学，拥有一支高水平的研发团队，发挥多年积累的软件与大数据技术和深厚的行业经验优势，抓住人工智能发展契机，积极开展数据智能技术的研发和应用，构建领先的数据智能核心技术，赋能各行业领域客户专属的数据智能能力，推动国家以数据为驱动的数智化转型。经过十余年的努力，公司已成为行业软件的领先者，大数据研发应用的国家队，数据智能技术的创新者。

　　科大国创的电信运营支撑系统、大数据应用共享平台、应用集成平台、高可性软件验证平台、智能BMS产品广泛应用在电信、电力、金融、交通、汽车、医疗、教育、政府等行业，为发展新经济培育新动能、新一代信息技术与实体经济融合作出了贡献。

　　程先乐：科大国创一直坚持“智慧+”、平台驱动、产品引领的发展战略，围绕数据智能行业应用、数据智能平台运营、智能软硬件产品三大业务板块，研发了国创HCS高可信开发平台、智能产品开发平台、数据智能行业应用软件产品、数据智能物流平台等产品，持续加强数据智能与行业融合，为运营商、能源、金融、交通、政府等行业客户，智慧物流、智能汽车等优势行业领域的数智化转型、高质量发展提供有力支撑。

　　比如说科大国创大数据典型应用就有互联网+政务、数据铁笼、信用平台、五大系统、综合执法等。我简单介绍其中的几个典型应用。

　　首先是互联网+政务平台。互联网+政务服务平台围绕构建统一、规范、多级联动的“互联网+政务服务”技术体系，以服务驱动和技术支撑为主线，重点建设“互联网+政务”业务支撑体系、基础平台体系、关键保障技术体系、评价考核体系。以服务事项标准化提升规范化发展能力，以互联互通和信息共享提升协同化治理能力，以一体化政务服务平台建设提升整体服务支撑能力，以强化权力运行监督提升流程化约束能力，以政务数据开放和运用提升智慧化服务能力。

　　再一个就是信用平台。关于信用平台，我们已经上线了非常成熟的产品案例宿州市公共信用信息服务平台。公共信用信息服务平台作为宿州市统一的信用信息归集、处理和服务系统，提供全市范围个人、法人和其他组织的公共信用信息的相关服务，满足各方的需要。政府、社会公众的应用需求决定了公共信用信息数据库需采集的数据内容以及市公共信用信息服务平台要提供的应用服务功能。

　　协会：据了解，在疫情防控期间，科大国创也利用自身的专业优势为抗疫做出了很多贡献，比如研发出能够帮助解决物资运输的难题的“天佑正道应急运力共享”公益平台等，可以请您介绍一下这块的情况吗？

　　程先乐：对，疫情防控期间，科大国创也在发挥数据智能技术优势，开发了大数据疫情监测、公共卫生应急指挥、合肥通疫情应用、智能外呼疫情收集等多个产品，利用云计算技术对数据进行采集、分析、挖掘，用我们的专业特长帮助政府抗击疫情。

　　在这场没有硝烟的战争中，如何及时将医疗、生产、生活物资及时运输到抗疫一线？针对这个问题，我们通过思考给出了一个回答。科大国创子公司慧联运冲刺研发“天佑正道应急运力共享”公益平台向社会开放，货主单位可以通过平台将药品、医疗器械、生活用品等物资运输到指定地点，爱心企业或爱心司机可将运力共享至平台。同时，平台将助力物流企业实现运力共享、快速协同，帮助工业企业恢复产能。

　　协会：作为一家智能软件产品、运营和服务提供商，贵公司采取了哪些举措保障和不断提高客户服务质量？

　　程先乐：具体来说，科大国创主要从两个方面来保障和不断提高客户服务的质量，第一是不断提高产品的技术创新，不断满足广大客户的需求；第二是完善的售后客户服务体系。

　　多年来，科大国创先后获得CMMI5级认证、计算机系统集成一级、建筑智能化甲级、国家规划布局内重点软件企业、国家高新技术企业、国家企业技术中心、国家博士后科研工作站、国家数字经济试点重大工程、中国政务信息化方案案例创新奖等高端资质、认证和荣誉。我们始终重视产品的技术创新与客户体验。我们与中国科学技术大学合作的高可信软件验证平台处于国际领先水平，以形式化验证的方式保障软件在核电、航天、交通、金融等关键领域的可靠性、安全性和保密性。我们这项技术一方面提供给客户使用，确保客户关键软件具有高可信性；提升我们软硬件产品质量，确保我们软件研发工作的高可信性。

　　另外，科大国创在全国30多个省份（自治区、直辖市）、香港特区及日本设立了销售与服务机构，形成了较为完备的销售与服务网络，全方位满足客户需求。比如我们有子公司、分公司、还有苏州研发中心等等。科大国创公司坚守品质与责任，始终坚持客户需求优先、客户利益至上的原则，践行用心服务的理念，为客户打造全面、专业、便捷的销售与服务体验，是客户成功道路上的护航者。

　　程先乐：自信息时代以来，计算机操作系统和应用软件的安全漏洞一直困扰着我们，尤其在军工、航空航天、核电、高铁、无人驾驶等安全攸关领域对软件的可靠性提出了越来越高的要求。然而，传统的测试方法，即使经过严格的测试，也不能保证软件不存在缺陷和错误。高精度的静态程序分析可以扫描所有可能的执行路径的相关程序，可以更有效地发现在程序中存在的缺陷来提高软件的质量；数理逻辑的使用（演绎推理）严格证明软件满足指定的规约，即软件不违反规约的缺陷。因此，高精度的程序分析是提高软件质量的有效途径，而基于演绎推理的形式化证明是提高程序质量、达到最高安全性的最终手段。

　　为了让广大读者朋友们更形象地了解，我在这里将测试代码的过程类比成检查一道数学题的过程。传统的测试方法就相当于只检查题目计算的结果，保证代码正常运行，但是中间的步骤可能存在一些失误，只是正好阴差阳错，不影响结果，所以仍然存在隐患；而高精度的程度分析就相当于把一道数学题的每个步骤都检查一遍，保证每串代码的正确性。

　　科大国创高可信软件技术团队源自中国科学技术大学软件安全实验室， 我们在2013年与中国科学技术大学合作共建“中国科大国创高可信软件工程中心”，在安全嵌入式操作系统、程序分析及验证工具、可信编译器以及定理证明器等多个方面开展理论研究和技术开发。

　　高可信软件的开发及其认证评测属国家战略性新兴产业，主要研发安全嵌入式操作系统、程序分析工具、C程序验证工具等具有世界领先水平的高可信软件产品和技术，为人工智能、航天、核工业、医疗机器人等尖端科技领域提供安全攸关的产品和创新的检验评测服务，实现软件的高度可信赖，打造没有BUG的软件。

　　经过10年多的相关理论研究，在嵌入式操作系统验证、关键算法的形式化验证、安全C程序验证工具和C程序内存安全缺陷分析等方面完成了诸多理论突破，目前开始逐步开花结果形成一系列核心产品和相关服务能力。所以说科技创新和产品研发没有捷径可走，往往“只管耕耘，莫问收获”更容易获得成功。

　　协会：作为高科技企业，相信研发队伍的建设一定也是公司发展的重中之重，那么贵公司如何培养自己的整套研发团队？如何保持团队成员持续的创新力？

　　程先乐：科大国创以中国科学技术大学为技术依托，目前陈国良院士担任公司首席科学家。公司建有中央研究院，在高可信软件、人工智能、物联网、大数据、区块链等领域开展研究工作。研究院负责公共基础产品研发，各事业单元下设研发部门，致力于围绕客户需求开展行业内产品研发，并与中国科大等高校及科研院所等合作伙伴携手共同研究。

　　在创新活动中，人才是关键要素。科技创新和产品研发都急不得，需要时间，风险和试错成本也很高。我们以股权激励、员工持股计划、事业合伙人等多种机制吸引人才，并且尊重人才，致力于为研发人员创造宽松、理性的工作环境。

　　除此之外，科大国创提供具有竞争力的薪酬制度、畅通的晋升渠道，鼓励创新、容忍失败的创新环境和文化氛围等，充分调动创新人才的积极性，激发和保持员工创新的激情和热情。

　　协会：今年以来，新冠肺炎疫情这只“黑天鹅”给各行各业的发展也带来了深刻的影响，那么对科大国创来说，下一步的发展规划有哪些？

　　程先乐：通过这次疫情，大家也都充分感受到，数字经济已经深入地改变了大多数人的工作和生活方式，可以说，疫情给数字经济带来的不仅是挑战，更是一次机遇。

　　后疫情时代是数字经济和科技化时代，社会各行各业对数字化智能化的需求将更加迫切，新基建的核心是5G、工业互联网、云计算、大数据。 “十四五”时期，科大国创将继续秉承“务实、创新”的精神，肩负“软件兴企报国，创新引领未来”的伟大使命，着力打造一支技术领先、业务精湛的复合型高素质团队，努力成为数据智能领域的引领者，奋力实现百亿国创的目标，为数字化智能化社会转型做出贡献！