科创中国

电子信息技术,计算机及网络技术

公司依托中国科学院雄厚的人才优势和领先的科研成果，提供优质的量子软件产品及服务： 1、量子芯片EDA：功能包括量子芯片缺陷检测、量子芯片物理层验证、量子芯片电磁仿真量子芯片器件优化等；目前已与国内知名量子芯片科研单位达成合作，提供EDA产品及服务。 2、量子测控系统：基于现有量子硬件环境搭建的具有数据获取、数据处理、参数扫描及硬件调试等功能的软硬件交互平台；目前已与国内TOP2高校的离子阱芯片研究团队达成合作，提供测控系统服务。 3、量子程序开发平台：作为国内首个高层量子程序设计平台，是一个能对接多种不同量子计算硬件，集量子程序设计、编译、分析、验证、调试等功能于一体的工具链，实现通用量子计算程序的编译、分析与调试及多种量子算法的便捷开发。目前已与中科大量子创新院共同构建了量子计算云平台，对外提供服务。 4、量子机器学习平台：量子机器学习平台算法的整体框架主要沿用现有机器学习的框架，作用是将机器学习中复杂度较高的部分替换为量子版本进行计算，从而提高其整体运算效率；

1、量子科技是当今世界最具颠覆性的前沿技术之一，量子计算具有远超经典计算的巨大信息携带和并行处理能力，在化学反应计算、药物合成、密码破译、大数据分析和机器学习等领域产生颠覆性影响；全球商业巨头、科研机构纷纷进军量子计算领域，已取得重大阶段性成果，实现了“量子优越性”；世界主要国家高度关注量子信息技术发展，纷纷加大政策和资金支持，力争抢占新兴信息技术制高点。 2、公司团队在量子软件领域已取得系列重要研究成果，处于国际领先水平，团队关于量子Hoare逻辑的相关工作，奠定了量子程序设计、分析与验证的逻辑基础；团队发布了国内首个较完整的量子程序设计平台isQ，集量子程序设计、编译、验证、模拟等功能于一体，相较于国际及国内其它量子程序开发环境具有其独有领先优势。 3、公司提供一站式全方位量子解决方案，全面提供量子EDA、量子程序开发平台、量子测控系统、量子应用等产品及服务；公司产品及解决方案广泛面向量子硬件企业和科研院所，量子研究和开发人员，金融、医药、化工等各行业企业。

李日灵，CTO（兼职），1994年11月出生，中科院软件所助理研究员，量子软件团队的主要成员。2016年7月，李日灵本科毕业于清华大学计算机系，2021年6月博士毕业于清华大学计算机系，师从国际著名量子软件学者应明生教授。李日灵长期从事量子程序及其编译器研发、量子电路和并行计算等方面的研究。 官极，副总裁（兼职），1992年2月出生，中科院软件所助理研究员，是中科院软件所量子软件团队的核心骨干。2014年，官极本科毕业于四川大学数学系，2018年博士毕业于澳大利亚悉尼科技大学，师从国际著名量子软件科学家应明生教授。官极长期从事量子算法、量子程序理论、量子机器学习和量子金融的研究与相应工具的实现。