张 昱

电  话:(0551)63603804

E- Mail:yuzhang@ustc.edu.cn

办公室:安徽省合肥市黄山路中国科大西校区科技实验楼西楼 615室

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

 

主要研究方向:智能计算与优化、软件理解与缺陷分析、量子编程系统


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

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


获奖情况

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

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

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

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

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

  6. 2018年获安徽省教学成果二等奖(主持)

  7. 2018年获BigCom2018最佳论文第2名

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

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

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

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

  12. 2010年、2008年获安徽省教学成果三等奖(主持)

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

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


教材与译著

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

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

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

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

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

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


近五年五篇代表性论文

  1. 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).(CCF B类会议)

  2. 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.(CCFA类会议)

  3. 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类会议)

  4. 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类期刊)

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