我们是谁？
安徽中科国创高可信软件有限公司源自中国科学技术大学，是一家专业从事高可信软件技术产品研发，提供助力企业软件质量提升的解决方案、咨询与技术服务的高科技企业。公司总部位于安徽省合肥市，并在苏州设立研发中心。
企业愿景
“打造自主智能软件，为软件质量与安全而奋斗”是公司的经营理念和品牌承诺，中科国创公司将通过高可信软件技术来推动企业发展与社会变革，为人类进步创造价值。中科国创公司努力成为客户信赖的合作伙伴，成为受人尊重的著名高科技企业。
安徽中科国创高可信软件有限公司源自中国科学技术大学，是一家专业从事高可信软件技术产品研发，提供助力企业软件质量提升的解决方案、咨询与技术服务的高科技企业。公司总部位于安徽省合肥市，并在苏州设立研发中心。
“打造自主智能软件，为软件质量与安全而奋斗”是公司的经营理念和品牌承诺，中科国创公司将通过高可信软件技术来推动企业发展与社会变革，为人类进步创造价值。中科国创公司努力成为客户信赖的合作伙伴，成为受人尊重的著名高科技企业。
公司目前由程序验证部门（合肥）和程序分析部门（苏州）组成。成立以来， 逐步形成了一支以“院士—教授—博士”为梯队结构的核心研发团队。公司还积极推动与中科大、耶鲁大学相关团队的密切合作， 共同致力于推动程序分析与验证理论和技术实用化，助力广大客户提高程序质量与安全保障！
陈国良，深圳大学和南京邮电大学教授、博士生导师，中国科学院院士，首届全国高等学校教学名师，我国非数值并行算法研究的学科带头人；现任深圳大学大数据系统计算技术国家工程实验室主任，以及南京邮电大学计算机学院、软件学院名誉院长等。
陈意云教授，负责指导安全C语言的程序验证器的研发工作。近40年来主要从事代数规范和项重写技术的应用研究、程序设计语言理论和实现技术的研究、用基于演绎推理的程序验证方法来提高软件可信程度的研究，包括系统软件的验证技术、出具证明编译器的设计与实现。
