成果介绍
公司依托中国科学院雄厚的人才优势和领先的科研成果,提供优质的量子软件产品及服务:
1、量子芯片EDA:功能包括量子芯片缺陷检测、量子芯片物理层验证、量子芯片电磁仿真量子芯片器件优化等;目前已与国内知名量子芯片科研单位达成合作,提供EDA产品及服务。
2、量子测控系统:基于现有量子硬件环境搭建的具有数据获取、数据处理、参数扫描及硬件调试等功能的软硬件交互平台;目前已与国内TOP2高校的离子阱芯片研究团队达成合作,提供测控系统服务。
3、量子程序开发平台:作为国内首个高层量子程序设计平台,是一个能对接多种不同量子计算硬件,集量子程序设计、编译、分析、验证、调试等功能于一体的工具链,实现通用量子计算程序的编译、分析与调试及多种量子算法的便捷开发。目前已与中科大量子创新院共同构建了量子计算云平台,对外提供服务。
4、量子机器学习平台:量子机器学习平台算法的整体框架主要沿用现有机器学习的框架,作用是将机器学习中复杂度较高的部分替换为量子版本进行计算,从而提高其整体运算效率;
5、量子计算行业应用:通过受量子启发的计算机算法、小规模量子计算和经典计算在混合量子计算中的结合可为各行业提供行业应用。
成果亮点
1、量子科技是当今世界最具颠覆性的前沿技术之一,量子计算具有远超经典计算的巨大信息携带和并行处理能力,在化学反应计算、药物合成、密码破译、大数据分析和机器学习等领域产生颠覆性影响;全球商业巨头、科研机构纷纷进军量子计算领域,已取得重大阶段性成果,实现了“量子优越性”;世界主要国家高度关注量子信息技术发展,纷纷加大政策和资金支持,力争抢占新兴信息技术制高点。
2、公司团队在量子软件领域已取得系列重要研究成果,处于国际领先水平,团队关于量子Hoare逻辑的相关工作,奠定了量子程序设计、分析与验证的逻辑基础;团队发布了国内首个较完整的量子程序设计平台isQ,集量子程序设计、编译、验证、模拟等功能于一体,相较于国际及国内其它量子程序开发环境具有其独有领先优势。
3、公司提供一站式全方位量子解决方案,全面提供量子EDA、量子程序开发平台、量子测控系统、量子应用等产品及服务;公司产品及解决方案广泛面向量子硬件企业和科研院所,量子研究和开发人员,金融、医药、化工等各行业企业。
4、公司技术和产品得到业内龙头企业认可,与数家国内量子计算机或云平台的单位达成战略合作;与多个行业的领军机构及龙头企业达成量子计算战略合作。
团队介绍
李日灵,CTO(兼职),1994年11月出生,中科院软件所助理研究员,量子软件团队的主要成员。2016年7月,李日灵本科毕业于清华大学计算机系,2021年6月博士毕业于清华大学计算机系,师从国际著名量子软件学者应明生教授。李日灵长期从事量子程序及其编译器研发、量子电路和并行计算等方面的研究。
官极,副总裁(兼职),1992年2月出生,中科院软件所助理研究员,是中科院软件所量子软件团队的核心骨干。2014年,官极本科毕业于四川大学数学系,2018年博士毕业于澳大利亚悉尼科技大学,师从国际著名量子软件科学家应明生教授。官极长期从事量子算法、量子程序理论、量子机器学习和量子金融的研究与相应工具的实现。
专家点评
成果资料
路演文件
于淼
金科君创投资部—高级副总裁