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

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

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

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