北京中科弧光量子软件技术有限公司由中国科学院软件研究所及其量子软件研究团队共同出资设立，依托中国科学院计算机科学国家重点实验室，以商业化平台聚集和培育创新人才，以产业化运营方式推进量子软件的快速发展和广泛应用，致力于成为世界一流的一站式量子软件产品和服务提供商。

 

弧光量子依托中国科学院雄厚的人才优势和领先的科研成果，提供优质的量子软件产品及量子计算技术服务，包括量子EDA、量子程序开发平台、量子机器学习平台、量子测控系统、量子应用及其他前沿科技研究。公司已与多家国内从事量子计算机研制的高校、科研院所、企业达成深度合作。

 

弧光量子研究团队从事量子计算及量子软件研究近二十年，研发了国内首个量子程序设计与验证平台isQ。isQ集量子程序设计、编译、验证、模拟等功能于一体，为未来国产量子软件发展及国产软硬结合等项目打下了坚实的基础。其中的定理证明器是国际上首个量子程序定理证明器，对量子程序的正确性验证有十分重要的作用。

 

弧光量子致力于不断缩小量子计算与商业客户之间的距离，以先进专业的技术力量、优质迅捷的服务意识、稳定高效的组织机构，为客户提供更前沿、更便捷、更安全的产品和服务。公司已经在金融、工业、能源、生物制药等诸多领域为客户提供最前沿的机器学习、量子化学等软件产品和技术服务。