电　话：(0551)63603804 

E - Mail：yuzhang@ustc.edu.cn  

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

主要研究方向：

面向新兴大型应用（如自动驾驶、智能物联网）的软件分析与优化；

对新兴计算平台（如量子计算、边缘计算）的程序设计与系统优化

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

2005年1月获中国科学技术大学计算机软件与理论博士学位。2004年至今任中国科学技术大学副教授，2010年10月—2011年10月在耶鲁大学计算机系进行访问研究。主持或参与科技部科技创新2030“新一代人工智能”重大项目、国家重点研发计划、国家自然科学基金、安徽省自然科学基金、微软亚洲研究院创新合作项目、华为公司科技项目等多项科研项目。在学术期刊和国际会议上发表论文90余篇，获得国家发明专利授权2项，软件著作权1项。出版编译原理和程序设计语言原理相关教材和配套参考书9本、合作翻译著作1本。

获奖情况：

2020年获新工科优秀实践教学案例

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

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

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

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

2018获BigCom2018最佳论文第2名

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

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

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

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

2015获校优秀共产党员

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

2008获王宽诚育才奖一等奖

主要论著：

教材与译著：

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

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

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

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

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

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

论文：

    1. 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类会议）

    2. Mingzhe Hu, Yu Zhang*. The Python/C API: Evolution, Usage Statistics and Bug Patterns.27th IEEE International Conference            on Software Analysis, Evolution and Reengineering (SANER 2020), London, Ontario, Canada, February 18-21, 2020. (CCF                B 类会议)

    3.  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类期刊）

  4.  张昱, 陈意云, 李兆鹏. 形状图理论的定理证明. 计算机学报, 39(12):2460-2480,2016.12.

            5.  Yu Zhang, Zhaopeng Li, Huifang Cao. System-Enforced Deterministic Streaming for Efficient Pipeline Parallelism. Journal of 

                 Computer Science and Technology, 30(1):57-73, Jan. 2015. （CCF B类期刊）