电　话：(0551)63603804

E - Mail：yuzhang@ustc.edu.cn

办公室：中国科大西校区科技实验楼西楼 615室

实验室：中国科大高新校区信智楼 B802室

个人主页：http://staff.ustc.edu.cn/~yuzhang

主要研究方向：

     面向新兴领域(如智能无人系统、云原生、图查询、量子计算)的编程系统与优化

     张昱，女，教授，中国计算机学会 (CCF)杰出会员、ACM会员、IEEE会员。CCF系统软件专委常务委员、教育专委常务委员；ACM 中国操作系统分会副主席、计算机科学教育分会常务理事；全国高等学校计算机教育研究会常务理事；教育部高等学校计算机类教学指导委员会(2018-2022)计算机系统专家委员会委员。

     2005年1月获中国科学技术大学计算机软件与理论博士学位。2010年10月—2011年10月在耶鲁大学计算机系进行访问研究。主持或参与科技部科技创新2030重大项目、国家自然科学基金、工信部项目、安徽省重点研发计划项目等纵向项目，主持华为、龙芯、阿里巴巴、蚂蚁金服、微软、Intel等企业创新合作项目。在学术期刊和国际会议上发表论文120余篇，获得国家发明专利授权13项、软件著作权6项，牵头制定安徽省地方标准1部，参与制定国家标准和ISO国际标准。出版编译原理和程序设计语言原理相关教材和配套参考书9本、合作翻译著作2本。

获奖情况：

2021年获宝钢优秀教师奖

2021年获中国软件开源创新大赛开源项目创新一等奖、任务挑战二等奖、开源实践教学二等奖

2021年获全国软件工程教学案例一等奖

2020年获2019年度全国高校计算机专业优秀教师奖励计划

2020年获首届全国高校教师教学创新大赛校赛一等奖

2020年获全国高校绿色计算大赛实践教学组和开源创新组两项特等奖

2020年获ACM中国-国际并行计算挑战赛(IPCC)二等奖、优秀指导教师

2019年获全国软件工程教学案例比赛二等奖、全国高校绿色计算大赛(实践教学组)二等奖

2018年获第一届中国科大-唐立新教学名师奖

2018年获中国科大新创校友基金会“院长教学奖”

2018年获安徽省教学成果二等奖（主持）

2018年获NASAC命题型竞赛“违反编码规范原型工具”第2名

2017年获中国科大优秀党务工作者、所在支部获校优秀基层党组织

2016年获第一届西区精神优秀教学奖

2016年指导本科生张震开展科学研究获ACM SIGPLAN学生研究竞赛本科生组第2名

2010年、2008年获安徽省教学成果三等奖（主持）

2008年获王宽诚育才奖一等奖

2006年获中国科大优秀青年教职工津贴

教授课程：

1、编译原理和技术

2、程序语言设计与程序分析（研）

3、量子软件前沿

主要论著：

教材与译著：

1. 张昱、胡明哲译. 实用编程语言理论基础（原书第2版），机械工业出版社，2022.3.

2. 陈意云、张昱. 编译原理（第3版），普通高等教育“十二五”国家级规划教材，高等教育出版社，2014.9.

3. 陈意云、张昱. 编译原理（第3版）习题精选与解析，普通高等教育“十二五”国家级规划教材配套参考书，高等教育出版社，2014.9.

4. 张昱、陈意云. 编译原理与技术，高等教育出版社，2010.8.

5.陈意云、张昱. 程序设计语言理论（第2版），高等教育出版社，2010.2.

6. 张昱、陈意云. 编译原理实验教程，高等教育出版社，2009.5.

7. 安虹、张昱、吴俊敏译. 虚拟机——系统与进程的通用平台，机械工业出版社，2009.2.

十篇代表性科研论文：

[01] Yongshang Li, Yu Zhang*, Mingyu Chen, Xiangyang Li, Peng Xu. Timing-Aware Qubit Mapping and Gate Scheduling Adapted to Neutral Atom Quantum Computing. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD). (Accepted, Feb. 2023) (CCF A类期刊)

[02] 龚磊, 孙新雨, 张昱*, 张燕咏, 吉建民, 华蓓. 嵌入路网图模型的自动驾驶场景描述语言. 软件学报, 34(9):2204-2229, 2023.9. 在线优先出版(CCF A类中文期刊)

[03] Yi Zhai, Yu Zhang*, Shuo Liu, Xiaomeng Chu, Jie Peng, Jianmin Ji, Yanyong Zhang. TLP: A Deep Learning-based Cost Model for Tensor Program Tuning. 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). Vancouver, Canada, Mar. 25 - 29, 2023. (CCF A类会议)

[04] Mingzhe Hu, Qi Zhao, Yu Zhang*, Yan Xiong. Cross-Language Call Graph Construction Supporting Different Host Languages. 30th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). Macao, China, March 21-24, 2023. （CCF B类会议）

[05] Mingyu Chen, Yu Zhang*, Yongshang Li, Zhen Wang, Jun Li, Xiangyang Li. QCIR: Pattern Matching Based Universal Quantum Circuit Optimization Framework. 41st International Conference on Computer-Aided Design (ICCAD). San Diego, California, USA, Oct. 30 - Nov.4, 2022. （CCF B类会议）

[06] 王博, 张昱*, 耿佳宁, 李向阳. SSRules: 让智能家居自动化规则更易于编写和检查. 软件学报, 32(12):3728-3750, 2021.12. DOI: 10.13328/j.cnki.jos.006098 (CCF A类中文期刊)

[07] Yun Peng, Yu Zhang*, Mingzhe Hu. An Empirical Study for Common Language Features Used in Python Projects. 28th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2021), Virtual, March 9-12, 2021. （CCF B类会议）

[08] Haowei Deng, Yu Zhang*, Quanxi Li. CODAR : A Contextual Duration-Aware Qubit Mapping for Various NISQ Devices. 57th Design Automation Conference (DAC 2020), San Francisco, CA, USA, July 19-23, 2020.（CCF A类会议）

[09] Yu Zhang, Yufen Yu, Huifang Cao, Jiankang Chen,Qiliang Zhang. Chaus: Scalable VM-based Channels for Unbounded Streaming .Journal of Computer Science and Technology, 32(6):1288-1304, Nov. 2017. （CCF B类期刊）

[10] 张昱,陈意云,李兆鹏. 形状图理论的定理证明. 计算机学报, 39(12):2460-2480,2016.12. (CCF A类中文期刊)