電 話：(0551)63603804
E- Mail：yuzhang@ustc.edu.cn
辦公室：安徽省合肥市黃山路188金宝慱体育版 西校區科技實驗樓西樓 615室、高新校區1號學科樓A554室
實驗室：188金宝慱体育版 高新校區信智樓 B802室、1號學科樓A208室
個人主頁：http://staff.ustc.edu.cn/~yuzhang
研究組主頁：http://s4plus.ustc.edu.cn/
主要研究方向：新興編程係統與優化、智能無人係統與優化、軟件與大數據分析、無人係統基礎軟件等
張昱，女，教授，博士生導師，中國計算機學會 (CCF) 傑出會員、CCF係統軟件專委常務委員、教育專委常務委員；ACM會員、ACM 中國操作係統分會副主席、計算機科學教育分會常務理事；全國高等學校計算機教育研究會常務理事；教育部高等學校計算機類教學指導委員會(2018-2022)計算機係統專家委員會委員。華夏計算機科技英才班負責人。
2005年1月獲中國科學技術大學計算機軟件與理論博士學位。2010年10月—2011年10月在美國耶魯大學計算機係進行訪問研究。主持或參與科技部科技創新2030重大項目、國家自然科學基金、工信部項目、安徽省重點研發計劃項目等縱向項目，主持完成華為、龍芯、阿裏巴巴、螞蟻金服、微軟、Intel等企業創新合作項目。在學術期刊和國際會議上發表論文130餘篇，獲得國家發明專利授權14項、軟件著作權6項，牽頭製定安徽省地方標準1部，參與製定國家標準和ISO國際標準。出版編譯原理和程序設計語言原理相關教材和配套參考書9本、合作翻譯著作2本。
獲獎情況：
1. 2023年獲教育部-華為“智能基座”優秀教師
2. 2023國家級一流線下課程“編譯原理和技術”負責人
3. 2021年獲寶鋼優秀教師獎
4. 2021年獲中國軟件開源創新大賽開源項目創新一等獎、任務挑戰二等獎、開源實踐教學二等獎
5. 2021年獲全國軟件工程教學案例一等獎
6. 2020年獲2019年度全國高校計算機專業優秀教師獎勵計劃
7. 2020年獲首屆全國高校教師教學創新大賽校賽一等獎
8. 2020年獲全國高校綠色計算大賽實踐教學組和開源創新組兩項特等獎
9. 2020年獲ACM中國-國際並行計算挑戰賽(IPCC)二等獎、優秀指導教師
10.2019年獲全國軟件工程教學案例比賽二等獎、全國高校綠色計算大賽(實踐教學組)二等獎
11.2018年獲第一屆188金宝慱体育版 -唐立新教學名師獎
12.2018年獲188金宝慱体育版 新創校友基金會“院長教學獎”
13.2018年獲安徽省教學成果二等獎（主持）
14.2018年獲NASAC命題型競賽“違反編碼規範原型工具”第2名
15.2017年獲188金宝慱体育版 優秀黨務工作者、所在支部獲校優秀基層黨組織
16.2016年獲第一屆西區精神優秀教學獎
17.2016年指導本科生張震開展科學研究獲ACM SIGPLAN學生研究競賽本科生組第2名
18.2010年、2008年獲安徽省教學成果三等獎（主持）
19.2008年獲王寬誠育才獎一等獎
20.2006年獲188金宝慱体育版 優秀青年教職工津貼
教材與譯著：
張昱、胡明哲譯. 實用編程語言理論基礎（原書第2版），機械工業出版社，2022.3.
陳意雲、張昱. 編譯原理（第3版），普通高等教育“十二五”國家級規劃教材，高等教育出版社，2014.9.
陳意雲、張昱. 編譯原理（第3版）習題精選與解析，普通高等教育“十二五”國家級規劃教材配套參考書，高等教育出版社，2014.9.
張昱、陳意雲. 編譯原理與技術，高等教育出版社，2010.8.
陳意雲、張昱.程序設計語言理論（第2版），高等教育出版社，2010.2.
張昱、陳意雲. 編譯原理實驗教程，高等教育出版社，2009.5.
安虹、張昱、吳俊敏譯. 虛擬機——係統與進程的通用平台，機械工業出版社，2009.2.
十篇代表性科研論文：
Yi Zhai, Sijia Yang, Keyu Pan, Renwei Zhang, Shuo Liu, Chao Liu, Zichun Ye, Jianmin Ji, Jie Zhao, Yu Zhang*, Yanyong Zhang*. Enabling Tensor Language Model to Assist in Generating High-Performance Tensor Programs for Deep Learning. 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI). Santa Clara, CA, USA, July 10–12, 2024. (CCF A類會議)
Xinyu Sun, Yu Zhang*, Shuo Liu, Yi Zhai. Crop: An Analytical Cost Model for Cross-Platform Performance Prediction of Tensor Programs. 61th Design Automation Conference (DAC). Moscone West, San Francisco, USA, June 23-27, 2024. (CCF A類會議)
陳金寶, 張昱*, 李清偉,丁伯堯. DBI-Go: 動態插樁定位Go二進製的非法內存引用. 軟件學報, 35(6), 2024.6. (CCF A類中文期刊)
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類期刊)
龔磊, 孫新雨, 張昱*, 張燕詠, 吉建民, 華蓓. 嵌入路網圖模型的自動駕駛場景描述語言. 軟件學報, 34(9):2204-2229, 2023.9. (CCF A類中文期刊)
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類會議)
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類會議）
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類會議）
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. (CCF A類中文期刊)
代表性教研論文：
Yu Zhang, Chunming Hu, Mingliang Zeng, Yitong Huang, Wenguang Chen and Yuanwei Wang. Encouraging Compiler Optimization Practice for Undergraduate Students through Competition. 26th annual conference on Innovation and Technology in Computer Science Education (ITiCSE), Online, Paderborn, Germany, June 26 - July 1, 2021. （國際計算機科學教育領域旗艦會議）
Yu Zhang, Youwen Ouyang. Designing a Course of Programming Language Foundations that Closely Combines Practice. ACM Turing Award Celebration Conference - China (ACM TURC 2021), Hefei, China, July 30 - August 1, 2021.
張昱,陳娟,肖勝剛,張銘. 由第48 屆ACM 計算機科學教育大會看國內計算機教育科研, 計算機教育，No.273:176-179，2017.9.
Yu Zhang, Xianglan Chen, Xin An, Jianliang Lu, Xuejun Li, Xuehai Zhou. Building step-by-step practical curriculum system for computer systemic ability training, ACM Turing 50th Celebration Conference - China (ACM TUR-C '17), 7:1-7:6, Shanghai, China, May 12-14, 2017.
張昱, 陳意雲, 鄭啟龍. 編譯原理課程的教學方法和教材建設. 中國大學教學, 61-62, 2005.7.
