量子程序设计与验证平台"isQ"。 自主研发了国内首个 文｜欧雪 编辑｜袁斯来 来源｜硬氪（ID：south_36kr） 封面来源｜企业供图 硬氪获悉，北京中科弧光量子软件技术有限公司（下称"弧光量子"）近日完成数千万元A轮融资。本轮由北京信息产业发展投资基金独家投资。资金将用 于扩大团队，加快研发，以应对行业发展带来的软件新需求。重点包括两方面：一是适配分布式芯片等新趋势，与硬件协同设计协议和解决方案；二是加 快建设高效量子计算算法库，扩充人才库。 作为国内专注量子基础软件产业化团队，团队在量子编译器的程序理论研究和工程化开发方面处于世界前列，部分成果达到世界领先水平。 依托多年技术的积累，团队自主研发了国内首个量子程序设计与验证平台"isQ"，集设计、编译、验证与模拟于一体。其中国际首创的定理证明器，大幅 提升了量子程序的验证能力，为国产量子软硬件协同发展奠定了重要基础。 图源/企业 据了解，弧光量子是目前国内唯一覆盖多条芯片路线、贯穿产业全链条的量子计算软件企业，产品已部署于国盾量子（超导）、华翊量子（离子阱）等主 流量子计算系统；各类客户包含中电信量子、中移动量子研究院、中国石化、国药生物等大型企业。 ...

以下文章来源于硬氪 ，作者欧雪 硬氪 . 专注全球化、硬科技报道。36kr旗下官方账号。 自主研发了国内首个 量子程序设计与验证平台"isQ"。 文 ｜ 欧雪 编辑 ｜ 袁斯来 来源｜ 硬氪（ID：south_36kr） 封面来源 ｜ 企业供图 硬氪获悉，北京中科弧光量子软件技术有限公司（下称 "弧光量子"）近日完成数千万元A轮融资。本轮由北京信息产业发展投资 基金独家投资。资金将用于扩大团队，加快研发，以应对行业发展带来的软件新需求。重点包括两方面：一是适配分布式芯片等 新趋势，与硬件协同设计协议和解决方案；二是加快建设高效量子计算算法库，扩充人才库。 弧光量子成立于 2020年，专注于量子软件与量子计算应用，依托于中国科学院软件研究所，开展量子软件的科研及产业化落地。 公司核心团队中，超过 80%的成员毕业于清华大学、北京大学、中国科学院等知名高校及科研院所，硕博士学历人员占比高达 90%。公司创始人兼董事长应圣钢毕业于清华大学，获博士学位，并曾于悉尼科技大学从事博士后研究，现为中国科学院软件研 究所正高级工程师。 自 2020年起，中国量子计算发展进入快车道，成功研制出量子计算原型机"九章"。其算力表现 ...