USTC 量子软件方向 张昱 教授
报告生成时间：2026年8月26日
个人主页：张昱（中科大教师主页）（另见 个人主页、研究组主页 S4Plus）
所属团队：中国科学技术大学计算机科学与技术学院 S4Plus 研究组（系统软件与软件安全）／量子计算的编译方向
一、学者基本信息
| 字段 | 内容 |
|---|---|
| 姓名 | 张昱（Yu Zhang），女 |
| 职称 | 教授、博士生导师、硕士生导师（中国科学技术大学计算机科学与技术学院） |
| 所属单位 | 中国科学技术大学计算机科学与技术学院；S4Plus 研究组（系统软件与软件安全）负责人 |
| 教学职务 | 华夏计算机科技英才班负责人；系统软件课程组组长；国家一流课程"编译原理和技术"负责人；"101"计划教材《高级编译原理和技术》（2026 年出版）牵头编写人 |
| 学术头衔 | 中国计算机学会（CCF）杰出会员、系统软件专委常务委员、教育专委常务委员、量子计算专业组执行委员；ACM 中国操作系统分会副主席、计算机科学教育分会常务理事；全国高等学校计算机教育研究会常务理事（2021 起）；教育部高等学校计算机类教学指导委员会（2018–2022）计算机系统专家委员会委员 |
| 标准化任职 | ISO/IEC JTC 1/WG 14 量子计算工作组委员；IEEE P3184（自动驾驶数据框架）国际标准工作组副主席（与张燕咏团队共同发起，张昱任副主席）；牵头制定安徽省地方标准 2 部，参与制定国家标准和 ISO 国际标准 |
| 人才称号 | 安徽省领军人才教学名师；未见其入选国家级科研类人才计划的公开记录（其荣誉以教学名师、教学成果与系统能力培养类奖项为主） |
| 邮箱 | yuzhang@ustc.edu.cn（电话：(0551) 63603804） |
| 研究方向 | 程序语言与新兴计算系统：智能计算与优化、云原生系统软件、量子计算的编译（面向超导、离子阱、中性原子等量子体系的量子程序编译与优化、量子编程语言/框架） |
| 成果概况 | 发表学术论文 140 余篇（含 AAAI、ASE、ASPLOS、DAC、OOPSLA、OSDI、TCAD 等 CCF A 类会议期刊）；国家发明专利授权 30 余项、软件著作权 6 项；编译原理与程序设计语言原理相关教材及配套参考书 9 本、合作译著 2 本 |
需要首先明确的机构边界：中国科学技术大学的量子科研主体是物理学院的潘建伟院士团队（中科院量子信息与量子科技创新研究院体系，如"九章"光量子、"祖冲之号"超导量子计算等成果）。张昱不属于该体系，她属计算机科学与技术学院，是从系统软件/编译技术一侧切入量子计算的中科大"量子软件交叉方向"代表人物——其工作聚焦量子程序设计语言、量子编译器与量子电路优化，而非量子物理实验。二者通过论文合作（如与郭国平教授，见第四章）存在接口，但机构归属与研究范式边界清晰。
二、教育背景与职业履历
张昱的学术履历高度"本土化"：据教师主页与学院官网，其毕业院校登记为中国科学技术大学，2005 年 1 月获中国科学技术大学计算机软件与理论博士学位，博士毕业后留校任教，2004 年起任副教授（先于学位授予时间，属"先上岗后授位"的过渡期安排），后晋升为教授（晋升教授的具体年份未见公开记载，2020 年版学院主页已标注教授职称）。2010 年 10 月至 2011 年 10 月，她赴美国耶鲁大学计算机系进行为期一年的访问研究，是其主要的海外学术经历；值得注意的是，其长期合作的教材体系与"中科大—耶鲁高可信软件联合研究中心"的科研成果存在公开的关联记载（见百度百科《编译原理》词条），提示其耶鲁访学与中科大程序语言方向的国际合作脉络相关。
其学位导师信息在公开渠道未见官方明确记载，不能确证。但从学术谱系看，有一条清晰的线索：她自 2000 年代初（尚在读博期间）即与陈意云教授（1946–2022，中科大计算机系原副主任、程序设计语言/编译方向泰斗，2022 年 3 月逝世）持续合著教材——2003 年普通高等教育"十五"国家级规划教材《编译原理》（第一版）、2005 年《编译原理习题精选与解析》、2008 年"十一五"规划教材第二版、2010 年《程序设计语言理论（第2版）》、2014 年"十二五"规划教材第三版等，署名均为"陈意云、张昱"。陈意云退休（2011 年）后，张昱接掌中科大《编译原理和技术》课程（现为国家级一流课程），并牵头编写计算机领域"101"计划教材《高级编译原理和技术》。综合判断，她的学术共同体深度嵌于陈意云所代表的中科大程序设计语言/编译学派，是该学派的教材与课程传承者。
职业履历要点（时间线）：
| 时间 | 事件 |
|---|---|
| （本硕阶段） | 本科、硕士阶段的院校信息未见公开明确记载（教师主页"毕业院校"登记为中国科学技术大学） |
| 2005.1 | 获中国科学技术大学计算机软件与理论博士学位 |
| 2004 起 | 任中国科学技术大学副教授（据下一代移动计算实验室页面旧版介绍） |
| 2002–2014 | 与陈意云合著《编译原理》《程序设计语言理论》等国家级规划教材系列 |
| 2009 | 与安虹、吴俊敏合译《虚拟机：系统与进程的通用平台》（James E. Smith & Ravi Nair 著，机械工业出版社） |
| 2010.10–2011.10 | 美国耶鲁大学计算机系访问研究 |
| （此后） | 晋升教授、博士生导师；任华夏计算机科技英才班负责人、系统软件课程组组长 |
| 2019 前后起 | 研究重心向量子计算编译、智能计算与优化、云原生系统软件等新兴领域扩展，组建 S4Plus 研究组 |
| 2023 至今 | 主持或参与科技部科技创新 2030 重大项目、国家自然科学基金、工信部项目、安徽省重点研发计划等纵向项目 |
关于委托方背景信息中"陈国良院士谱系（国家高性能计算中心（合肥）体系）"的核验结果：未发现张昱师承陈国良院士或任职于国家高性能计算中心（合肥）的公开证据。她与该体系的可确证交集是 2009 年与安虹（陈国良院士的学生、国家高性能计算中心体系教师）、吴俊敏（计算机系统结构方向）三人合译《虚拟机：系统与进程的通用平台》——这属于中科大计算机学院系统方向教师间的一次教材翻译合作，可视为其与中科大系统结构/高性能计算圈（含吴俊敏、安虹等）的学术纽带，但不宜据此推定师承关系。
三、学生培养情况
张昱指导的研究生以量子计算软件、程序分析（Go/Python 等语言）、张量程序编译、图查询优化、智能驾驶软件系统等方向为主。S4Plus 官网设有"学长交流"等栏目显示其持续培养硕博研究生，但毕业生完整名单及去向的系统性公开信息有限，以下仅列可确证者（据中国科大官方新闻与研究组官网）：
1. 李永尚、陈铭瑜、邓皓苧（量子方向研究生，"天衍"量子计算挑战赛特等奖）
据中国科大新闻（news.ustc.edu.cn），由计算机学院研究生李永尚、陈铭瑜和邓皓苧组成的"柯南队"在张昱指导下，参加首届"天衍"量子计算挑战先锋赛（中国信息通信研究院主办），针对量子电路化简赛题，先将基础量子门电路转换为费米子激发算符组成的 unitary coupled cluster ansatz 再重新合成量子电路，以更高效的合成方法优化两比特门数和深度，最终从海内外 38 所院校 71 支队伍中脱颖而出获专业组特等奖。这三人同时是张昱近年量子编译论文（PauliForest、Pattern Tree、UCC 优化等）的核心学生作者，构成其量子软件方向的学生骨干。三人当前毕业去向未见公开披露，以审慎为准。
2. 量子编译方向的论文学生群体（近年骨干作者群）
据其论文列表与研究组官网，量子方向论文的第一/主要学生作者包括：李永尚（PauliForest，TCAD 2025；UCC 核优化，TCAD 2026）、陈铭瑜/陈铭喻（Pattern Tree）、邓皓苧（多篇）、郑钊雨、李震宇（PauliForest 合作者）等。该群体支撑了张昱团队在 DAC/ICCAD/TCAD/TQC 等量子编译与 EDA 顶级 venues 的连续产出。需注意：论文合作者中部分为其他单位人员（如郭国平），不推定为师生。
3. 程序分析与系统优化方向的学生群体
其非量子方向的学生作者群（据论文列表）包括：李清伟、丁伯尧、陈金宝、唐富根（Go 语言程序分析方向，OOPSLA/ASE/JSS/软件学报系列）、孙新雨（PTX 反编译，ASE 2025）、徐柴俊（图查询物化视图 MV4PG）、胡明哲（多语言互操作综述，IEEE TR 2025）等。该批学生的工作多发表于 CCF A 类会议与中文 A 类期刊（软件学报）。毕业生具体去向未见系统公开记载。
4. 竞赛育人（团队获奖通道）
张昱团队近年在全国性学科竞赛中屡获佳绩，体现"以赛促学"的培养模式：全国高校绿色计算大赛开源创新组/实践教学组特等奖（2020）、ACM 中国—国际并行计算挑战赛（IPCC）应用优化赛道二等奖及优秀指导教师（2020）、全国软件工程教学案例一等奖（2021）、中国软件开源创新大赛一等奖等（2021）、NASAC 命题型竞赛第 2 名（2018），以及上述"天衍"量子计算挑战赛专业组特等奖。
整体来看，张昱门下的培养特点可归纳为三点：其一，"编译器手艺 + 新兴领域"复合训练——把经典编译、程序分析技术迁移到量子计算、AI 张量程序、自动驾驶等新场景；其二，竞赛与开源贯穿培养全程，与华为（绿色计算大赛、智能基座）等企业的教育生态深度绑定；其三，量子方向学生培养与国内量子产业界赛事（天衍挑战赛由中国信通院主办，量子信息网络产业联盟、中电信量子、北京中科弧光、国盾量子等承办）直接对接，形成向量子软件产业输送人才的通道。
四、学术合作网络
4.1 研究组内部与合作核心（S4Plus 内圈）
S4Plus（系统软件与软件安全研究组）是张昱学术网络的内核，官网设有"量子编程系统"专门研究方向，开源代码托管于 GitHub/Gitee（S4Plus、Quingo 等组织）。其内部结构呈现"一位教授 + 量子/AI/系统三条学生梯队"的形态：
- 量子编程系统线（Quingo 体系）：以李永尚、陈铭瑜、邓皓苧、郑钊雨、李震宇等研究生为骨干，产出 CODAR（DAC 2020，NISQ 设备上下文时长感知比特映射）、Quingo（TQC 2021，量子—经典异构编程框架）、QCIR（ICCAD 2022，模式匹配量子电路优化框架）、中性原子量子计算时序感知比特映射与门调度（TCAD 2023）、PauliForest（TCAD 2025，连通性感知电路合成与 Pauli 导向比特映射）、Pattern Tree（量子电路优化）等。Quingo 是国内五大自主量子编程框架（HiQ、QPanda、量易伏、Quingo、isQ）之一，在首届 CCF 量子计算大会（CQCC 2022）"自主可控的量子编程和编译框架"专题论坛上与华为 HiQ、本源量子 QPanda 等团队同台亮相。
- 程序分析线（Go/Python/多语言）：与李清伟、丁伯尧、陈金宝、唐富根等学生合作，围绕 Go 语言内存安全（OOPSLA 2024、CGO 2025 GoFree、软件学报系列）与 Python/C 互操作开展系列研究，并与美国华盛顿大学 Michael D. Ernst 教授实质合作（GoFree，CGO 2025 共同作者）。
- 张量程序与 AI 编译线：TLP（ASPLOS 2023）、Crop（DAC 2024）、OSDI 2024 张量语言模型工作（与张燕咏团队联合）等。
需要说明的是，S4Plus 是张昱个人的研究组（区别于 ADSL 等大实验室的"多教授梯队"结构），未见其吸纳其他教授为共同负责人；其网络的外延更多通过跨组合作与学术组织实现。
4.2 跨机构合作（国内学术圈）
- 郭国平（中国科大，本源量子创始人）：这是张昱接入中科大量子计算主流圈与合肥量子产业的最关键连接。两人共同署名发表 TCAD 2026 论文《Optimizing Unitary Coupled Cluster with Single and Double Kernels for Modern NISQ Architectures》（张昱为通讯作者）。郭国平是中科大量子计算（原微电子/物理体系）学术带头人、合肥本源量子计算科技有限责任公司创始人。此外，Quingo 生态（Gitee 上的 Quingo-runtime、DQCSim-QCIS 等）对接本源量子超导量子计算机的 QCIS 指令集，表明其量子编程框架与国产量子硬件存在事实上的适配合作。需要强调：郭国平属中科大量子物理/微电子体系（与潘建伟团队同为中科大量子科研的两支主力但路径不同），张昱与其的合作是"计算机学院软件团队 × 量子硬件团队"的交叉合作，不改变张昱本人的院系归属。
- 张燕咏、吉建民、李厚强、邓家俊等（中国科大计算机学院，智能驾驶/AI 方向）：张昱与院内智能感知团队合作发表 CVPR 2023（Bi-LRFusion）、AAAI 2024（SDAC）、IJCV 2025（OA-DET3D）、MobiCom 2025（UrgenGo）等论文，并共同发起 IEEE P3184 自动驾驶数据框架国际标准工作组（张昱任副主席）。这是其"新兴计算领域软件系统"路线在院内的主要协作圈。注意：张燕咏（Yanyong Zhang，智能感知/嵌入式方向）与张昱（Yu Zhang）为同院两位不同的女教授，二者多次联合署名，检索与引用时须注意区分。
- 陈意云学派的传承网络：通过《编译原理》国家级规划教材体系（累计使用高校众多）与中科大编译课程，张昱处于国内编译教学共同体的枢纽位置；其牵头"101"计划《高级编译原理和技术》教材进一步将其与教育部计算机领域改革计划（北大胡振江等推动的"101"计划体系）连接。
- 国内量子软件同行圈：作为 CCF 量子计算专委执行委员，张昱处于国内量子计算学术共同体（CCF 量子计算专委创始主任郭光灿、现任主任孙晓明的 CQCC 体系）的组织网络中，与华为 HiQ（翁文康等）、本源量子 QPanda、中科院软件所 isQ（应明生体系）、量易伏（中创为量子）等量子软件团队构成"自主可控量子编程框架"的同行竞合网络。
- 中科大系统结构圈（安虹、吴俊敏等）：2009 年三人合译《虚拟机》所代表的教材合作，连接中科大计算机系统结构方向（陈国良院士开创、安虹/吴俊敏等传承的并行计算/体系结构学派）。这是较弱的纽带，主要用于知识体系互补（虚拟化技术），未见持续科研合作记录。
4.3 国际合作
- 美国耶鲁大学：2010–2011 年计算机系访问研究。中科大与耶鲁在高可信软件方向有联合研究中心背景（陈意云教材体系即关联该中心科研成果），耶鲁邵中（Zhong Shao）教授的程序语言/验证团队是中科大程序语言学派的长期国际合作方；张昱的耶鲁访问可置于这一脉络理解（其具体合作导师未见官方明载，此点保守表述）。
- 美国华盛顿大学：与 Michael D. Ernst 教授（软件工程/程序分析领域权威）在 Go 语言内存管理方向实质合作（GoFree: Reducing Garbage Collection via Compiler-inserted Freeing，CGO 2025）。
- Eric Petit（FPGA/异构计算方向国际学者）：合作发表 FCCM 2023（Lasa）与 ACM TRETS 2025（FPGA 线性代数库自动生成）等论文。
- 国际标准组织：作为 ISO/IEC JTC 1/WG 14 量子计算工作组委员参与量子计算国际标准制定；牵头成立并任 IEEE P3184 自动驾驶数据框架国际标准工作组副主席。其标准工作横跨量子计算与智能驾驶两个新兴领域，是其国际影响力的重要形态。
五、业界合作关系深度分析
5.1 产业合作主线：华为、龙芯、阿里、蚂蚁、微软、Intel
据教师主页，张昱主持华为、龙芯、阿里巴巴、蚂蚁金服、微软、Intel 等企业创新合作项目（横向），并主持或参与科技部科技创新 2030 重大项目、国家自然科学基金、工信部项目、安徽省重点研发计划等纵向项目。其产业合作呈现三条线：
- 华为（最深绑定）：其一，教育生态——获 2023 年教育部—华为"智能基座"优秀教师奖，团队在华为支持的全国高校绿色计算大赛中两获特等奖，其课程与教材体系嵌入华为鲲鹏/昇腾生态的教学推广网络；其二，科研项目——主持华为创新合作项目；其三，人才与竞赛通道——ACM 中国—国际并行计算挑战赛（IPCC，2020 年二等奖）等赛事常与国产算力产业联动。
- 龙芯中科：主持龙芯企业合作项目，将其编译器研究对准国产 LoongArch 指令集生态，与中科大计算机学院整体的国产化基础软件路线（参见安虹、许胤龙等报告中的龙芯/北极星计划网络）同向。
- 量子产业（合肥本源量子圈）：通过郭国平的论文合作与 Quingo—QCIS 生态对接，张昱的量子软件工作与合肥量子计算产业链（本源量子为国内量子计算硬件/软件头部企业）形成连接；其学生参加的天衍量子计算挑战赛由中国信通院主办，量子信息网络产业联盟、中电信量子、中科弧光、国盾量子等承办，进一步嵌入量子产业人才培养生态。其量子方向的标准化任职（ISO/IEC JTC 1/WG 14 委员、安徽省地方标准牵头、国家标准与 ISO 国际标准参与）亦与国内量子标准化体系（合肥是量子计算标准制定重镇）相衔接——具体其在国家标准中的署名条目未见公开细目，以官方主页表述为准。
- 阿里巴巴、蚂蚁金服、微软、Intel：均为其主持过的企业创新合作项目对象，具体成果公开信息有限，属横向课题通道。
5.2 开源生态与技术落地形态
- 开源社区：S4Plus 与 Quingo 系列项目开源托管于 GitHub/Gitee，包括 Quingo 编程语言文档中心、运行时、教程、量子模拟器（QuaLeSim）及 SISQ/DQCSim 等量子软件基础设施；团队获 2021 年中国软件开源创新大赛一等奖等奖项，开源实践是其技术辐射的主要形式之一。
- 标准输出：与学术论文并行，张昱团队产出国际标准（ISO/IEC、IEEE P3184）、国家标准、安徽省地方标准（2 部牵头），形成"论文—专利—标准"三轨并行的成果转化形态。
- 技术落地判断：据公开资料，张昱及其学生未见以创始人身份注册量子公司或其他创业公司的记录；其量子软件成果的落地路径更接近"框架开源 + 硬件适配（本源 QCIS）+ 标准制定 + 竞赛育人"的学院派模式，而非直接商业化孵化。
5.3 教育产业双循环
张昱的产学研模式带有鲜明的"教育反哺"特征：国家级规划教材（《编译原理》系列）、国家一流课程、"101"计划教材、全国系统能力培养体系（获 2023 年全国系统能力培养突出贡献奖，多次组织 ChinaSoft 系统软件教育论坛、NASAC 系统软件教育论坛、编译系统设计赛等教研活动）与企业合作（华为智能基座、绿色计算大赛、龙芯生态）互为支撑，形成"编译教学—国产基础软件生态—量子/AI 新兴编程系统"的循环。这与许胤龙（存储方向）的"存储科研—产业合作—教学改革"闭环属同构的中科大计算机学院产学研范式。
六、重要奖项与学术兼职
| 类别 | 名称/内容 |
|---|---|
| 教学名师称号 | 安徽省领军人才教学名师；国家一流课程"编译原理和技术"负责人 |
| 教学奖（个人） | 全国系统能力培养突出贡献奖（2023）；教育部—华为"智能基座"优秀教师（2023）；宝钢优秀教师奖（2021）；全国高校计算机专业优秀教师奖励计划（2019 年度，2020 颁发）；首届中国科大—唐立新教学名师奖（2018）；中国科大新创校友基金会"院长教学奖"（2018）；安徽省教学成果二等奖（主持，2018）；中国科大西区精神优秀教学奖（2016）；校青年教师优秀教学津贴（2006） |
| 教学奖（团队/竞赛） | 全国软件工程教学案例一等奖（2021）；中国软件开源创新大赛开源项目创新命题组一等奖等（2021）；全国高校绿色计算大赛开源创新组、实践教学组两项特等奖（2020）；ACM 中国—国际并行计算挑战赛（IPCC）应用优化赛道二等奖及优秀指导教师（2020）；"天衍"量子计算挑战先锋赛专业组特等奖（学生"柯南队"，李永尚、陈铭瑜、邓皓苧）；NASAC 命题型竞赛第 2 名（2018）；首届全国高校教师教学创新大赛校赛一等奖（2020） |
| 学术兼职 | CCF 杰出会员、系统软件专委常委、教育专委常委、量子计算专委执行委员；ACM 中国操作系统分会副主席、计算机科学教育分会常务理事；全国高等学校计算机教育研究会常务理事；教育部高校计算机类教指委（2018–2022）计算机系统专家委员会委员 |
| 标准化任职 | ISO/IEC JTC 1/WG 14 量子计算工作组委员；IEEE P3184 自动驾驶数据框架国际标准工作组副主席（工作组发起人）；安徽省地方标准（2 部，牵头） |
| 行政/平台职务 | 华夏计算机科技英才班负责人；系统软件课程组组长 |
| 教材著作 | 《编译原理》（与陈意云合著，"十五/十一五/十二五"国家级规划教材，高等教育出版社，2003/2008/2014）及配套教辅；《程序设计语言理论（第2版）》（与陈意云合著，2010）；《高级编译原理和技术》（"101"计划教材，2026 年出版）；合译《虚拟机：系统与进程的通用平台》（与安虹、吴俊敏，2009）等；教材及配套参考书合计 9 本、译著 2 本 |
七、Connection 圈层总结
张昱的学术关系网络以"一条师承主线、一个研究组内核、三个辐射圈层"为结构特征：
- 师承主线（编译学派谱系）：与许胤龙这类"平台绑定型"学者不同，张昱的谱系锚点是陈意云所代表的程序设计语言/编译学派。她从读博期间与陈意云合著国家级规划教材起步，接过《编译原理和技术》课程与教材体系（直至"101"计划教材），成为该学派在中科大的第二代旗帜人物。这一谱系解释了其研究风格的底层逻辑——用编译器与程序语言的方法论去"吃"每一个新兴计算平台（虚拟化、边缘计算、量子、AI、云原生）。委托方所提示的"陈国良谱系/国家高性能计算中心体系"未获证据支持，应予更正为：仅存在与安虹、吴俊敏合译《虚拟机》所代表的中科大系统结构圈教材合作纽带。
- 内核圈（S4Plus + 量子软件学生梯队）：以张昱为唯一教授轴心，量子编程系统（Quingo、CODAR、QCIR、PauliForest 等）为旗舰方向，程序分析与 AI 编译为两翼。其网络资本的独特性在于 Quingo 作为国内五大自主量子编程框架之一的生态位——这使她成为"中科大计算机学院 × 国内量子计算生态"交叉点上的门户人物。
- 学术圈（中科大院内 + 国内量子共同体 + 国际程序语言圈）：院内经张燕咏、吉建民、李厚强团队接入智能感知/AI 方向（CVPR/AAAI/MobiCom/OSDI 级合作 + IEEE P3184 标准共事）；国内经郭国平接入中科大量子硬件体系与合肥量子产业圈，经 CCF 量子计算专委（执行委员）接入郭光灿（创始主任）、孙晓明（现任主任）的 CQCC 量子计算共同体，与华为 HiQ、本源 QPanda、软件所 isQ 等构成自主量子软件竞合网络；国际经耶鲁访学（中科大—耶鲁高可信软件合作脉络）、华盛顿大学 Michael D. Ernst（CGO 2025 实质合作）、Eric Petit（FPGA 方向）及 ISO/IEC 量子计算标准工作组建构国际合作面。
- 产业与教育圈（华为—龙芯—量子产业 + 全国编译教学体系）：企业合作覆盖华为（智能基座 + 绿色计算大赛 + 横向项目，绑定最深）、龙芯（LoongArch 生态）、阿里/蚂蚁/微软/Intel（横向项目）；量子产业侧通过本源量子（郭国平、QCIS 适配）与信通院系量子赛事形成人才输送通道；教育侧以国家级教材、一流课程、系统能力培养体系（突出贡献奖）和各类教育论坛构成全国性影响网络。其产学研形态是"教材 + 开源框架 + 标准"三件套，而非创业孵化，属典型的学院派路线。
总体而言，张昱呈现"厚教学声望、强交叉研究"的学者画像：她以编译教科书与课程立身（国内编译教育共同体的枢纽人物），以量子编译与新兴编程系统研究立研（Quingo 生态与 DAC/ICCAD/TCAD 系列成果），以 ISO/IEEE 标准任职立体化其影响力。在中科大的量子版图上，她与潘建伟团队（物理学院，量子硬件与量子优越性）、郭国平—本源量子体系（量子工程与产业）三分互补，是"量子软件/量子编程语言"这一交叉方向上可确证的中科大计算机学院代表人物。报告全文未发现其涉足格密码/后量子密码实现优化方向的公开证据（该方向在中科大可见于密码学其他团队，与本报告对象无关），此点作为对委托背景信息的更正予以明确。
（消歧提示：本报告之"张昱（Yu Zhang）"为计算机学院量子软件方向女教授，请勿与张兰（中科大计算机学院副院长、数据智能方向——见本仓库 ustc_zhanglan_group_network）、张燕咏（Yanyong Zhang，同院智能感知方向女教授、其论文合作者）、张强（潘建伟团队量子物理学者）或其他"张"姓学者混淆；量子圈内的"Deng Y.-H.（邓宇浩，潘建伟团队高斯玻色取样工作）"亦非张昱学生邓皓苧。）