程学云

发布时间:2024-08-17 阅读次数:265

程学云
副教授、硕士生导师
所在系室:计算机科学与技术系
办公地点:方肇周楼618
联系方式:chen.xy@ntu.edu.cn
研究方向:量子信息处理、可逆逻辑综合
个人简介

女,江苏南通人,博士研究生,主要从事量子线路变换、可逆逻辑综合等方面的研究。主持和参与了包括国家自然科学基金、江苏省自然科学基金在内的国家级、省部级和横向科研项目6项,指导学生获得蓝桥杯全国软件和信息技术专业人才大赛一等奖,省普通高校本专科毕业设计二等奖、团体程序设计天梯赛全国二等奖以及国家级大学生创新训练计划项目等。

教授课程

程序设计基础、程序设计语言原理(研究生)
专业入门与专业伦理

项目资助

[1] 国家自然科学基金委员会, 面上项目(62072259),面向物理受限约束感知的量子逻辑线路映射策略研究, 2021-2024, 57万元, 主要参与
[2] 江苏省科技厅, 面上项目(BK20221411),面向超导计算的量子线路调度关键技术研究,2022-2025,10万元,主要参与

代表性成果

论文/专著:
[1] Xueyun Cheng, Xinyu Chen, Kexin Cao, Pengcheng Zhu, Shiguang Fen, Zhijin Guan. Optimization of the transmission cost of distributed quantum circuits based on merged transfer [J]. Quantum lnformation Processing, 2023, 22(5): 187. (第一作者, SCI, 中科院3区)
[2] Mingqiang Zhu, Xueyun Cheng, Pengcheng Zhu, Liang Chen, Zhijin Guan. Physical constraint-aware CNOT quantum circuit synthesis and optimization [J]. Quantum Information Processing, 2022, 22(1): 10.  (通讯作者, SCI, 中科院3区)
[3] Zilu Chen, Xinyu Chen, Yibo Jiang, Xueyun Cheng, Zhijin Guan. Routing Strategy for distributed quantum circuit based on optimized gate transmission direction [J]. International Journal of Theoretical Physics, 2023, 62(12): 255-255. (共同通讯作者, SCI, 中科院4区)
[4] 程学云, 管致锦, 徐海, 谈莹莹, 刘洋. 基于MCT可逆线路的量子线路近邻化排布 [J]. 电子学报, 2018, 46(8): 1891-1897 (第一作者, EI期刊)
[5] Xueyun Cheng, Mingqiang Zhu, Xiang Li, Zhijin Guan. Nearest Neighbor Synthesis of CNoT circuit based on matrix transformation [C]. 第18届自然计算、模糊系统与知识发现国际学术会议 (CNC-FSKD2021), 中国贵阳, 2021-7-24至2021-7-26 (第一作者, EI检索)
专利:
[1] 程学云, 朱明强, 李响, 曹可欣, 陈新宇, 牛义仁, 张超, 董佳俊, 陈亮, 管致锦. 量子位交互错误感知的CNOT线路最近邻综合方法, 授权时间: 2023.11.24, 中国, 专利号: ZL202110823882.1.
[2]程学云, 朱明强, 华启磊, 戴广垠, 叶友睿, 申文杰, 孙浩琦, 柳鸿洁, 顾家豪, 管致锦, 顾晖. 一种用于可逆电路优化的可逆门等价变换方法, 授权时间: 2024.1.19, 中国, 专利号: ZL202011259245.8.
[3] 程学云, 陈新宇, 曹可欣, 李响, 朱明强, 姜一搏, 陈子禄, 管致锦. 一种分布式量子计算中基于依赖图的传输代价优化方法, 授权时间: 2023.11.7, 中国, 专利号: ZL202310260426.X.
[4] 程学云, 姜一搏, 沈涛, 吕朝阳, 缪和义, 陈新宇, 曹可欣, 李响, 陈子禄, 管致锦. 一种基于门分解与门移动的量子线路优化方法, 申请时间: 2023.4.7, 中国, 申请号: CN2023103649728.
[5] 程学云, 陈新宇, 姜一博, 曹可欣, 李响, 朱明强, 冯世光, 管致锦. 一种分布式量子计算中传输代价的优化方法, 申请时间: 2022.5.23,中国, 申请号: CN202210563969.4.
[6] 程学云, 曹可欣, 陈新宇, 李响, 朱明强, 冯世光, 朱鹏程, 管致锦. 一种隐形传态对量子映射的优化方法, 申请时间: 2022.5.23, 中国, 申请号: CN202210563972.6.
[7] 程学云, 李响, 陈新宇, 曹可欣, 朱明强, 冯世光, 朱鹏程, 管致锦. 一种基于真值表验证量子线路等价性的一种衍生方法, 申请时间: 2022.5.23, 中国, 申请号: CN202210565085.2.
[8] 程学云, 姜一博, 曹可欣, 陈新宇, 陈子禄, 朱明强, 李响, 冯世光, 管致锦. 一种基于NCV量子门序列等价变换的量子线路化简方法, 申请时间: 2022.11.2, 中国, 申请号: CN202211362284.X.

学术服务

[1] 江苏省人工智能学会,会员
[2] 江苏省质量协会质量鉴定专业委员会,江苏省产品质量鉴定专家

获奖信息

[1] 南通大学优秀教育工作者,2023
[2] 南通大学本科毕业设计优秀指导老师,2023

指导研究生情况/招生需求

近5年已指导硕士研究生10名,其中毕业5名。指导的研究生在SCI、中文核心等期刊发表论文12篇,授权专利15项,指导研究生参加数学建模等比赛获国家二等奖、“挑战杯”全国大学生课外学术科技作品竞赛“揭榜挂帅”专项赛中获二等奖等。
每年计划招收计算机技术、人工智能方向的专业硕士研究生3名,主要从事量子线路变换、可逆逻辑综合与优化等方向的研究工作。


搜索
您想要找的