张昱 副教授
发布时间：2022-02-28浏览次数：11
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“新一代人工智能”重大项目、国家重点研发计划、国家自然科学基金、安徽省自然科学基金、微软亚洲研究院创新合作项目、华为公司科技项目等多项科研项目。在学术期刊和国际会议上发表论文100余篇，获得国家发明专利授权2项、已公开4项，软件著作权2项。出版编译原理和程序设计语言原理相关教材和配套参考书9本、合作翻译著作1本。
获奖情况：
2020年获2019年度高校计算机专业优秀教师奖励计划
2020年获全国高校绿色计算大赛实践教学组和开源创新组两项特等奖
2019年获全国软件工程教学案例比赛二等奖、全国高校绿色计算大赛(实践教学组)二等奖
2018年获第一届中国科大-唐立新教学名师奖
2018年获中国科大新创校友基金会“院长教学奖”
2018年获安徽省教学成果二等奖（主持）
2018年获BigCom2018最佳论文第2名
2018年获NASAC命题型竞赛“违反编码规范原型工具”第2名
2017年获中国科大优秀党务工作者、所在支部获校优秀基层党组织
2016年获第一届西区精神优秀教学奖
2016年指导本科生张震开展科学研究获ACM SIGPLAN学生研究竞赛本科生组第2名
2010年、2008年获安徽省教学成果三等奖（主持）
2008年获王宽诚育才奖一等奖
2006年获中国科大优秀青年教职工津贴
教材与译著：
陈意云、张昱. 编译原理（第3版），普通高等教育“十二五”国家级规划教材，高等教育出版社，2014.9.
陈意云、张昱. 编译原理（第3版）习题精选与解析，普通高等教育“十二五”国家级规划教材配套参考书，高等教育出版社，2014.9.
张昱、陈意云. 编译原理与技术，高等教育出版社，2010.8.
陈意云、张昱.程序设计语言理论（第2版），高等教育出版社，2010.2.
张昱、陈意云. 编译原理实验教程，高等教育出版社，2009.5.
安虹、张昱、吴俊敏译. 虚拟机——系统与进程的通用平台，机械工业出版社，2009.2.
近五年五篇代表性论文：
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类会议）
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类会议）
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类会议）
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类期刊）
张昱,陈意云,李兆鹏.形状图理论的定理证明.计算机学报, 39(12):2460-2480,2016.12.