计算机科学与技术学院
 
师资队伍

院士


教授


副教授


博士后

更多>>学术活动
您现在的位置:首页>师资队伍>副教授

张  昱


       

电  话:(0551)63603804

E - Mailyuzhang@ustc.edu.cn

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

       

主要研究方向

面向新兴大型应用(如智能无人系统、智能物联网)的软件分析和智能可靠计算;

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

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


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


获奖情况

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

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

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

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

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

2018BigCom2018最佳论文第2

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

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

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

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

20102008获安徽省教学成果三等奖(主持)

2008获王宽诚育才奖一等奖

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


主要论著

教材与译著:

  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.CCFA会议

  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期刊

张昱-2020.4.30c.doc




CopyRight 2009-2014 中国科学技术大学计算机科学与技术学院 All Rights Reserved.
安徽省合肥市黄山路中国科学技术大学西区电三楼
通信地址:安徽省合肥市4号信箱 计算机科学与技术学院 邮政编码:230027