張令明(計算機科學家)

張令明(計算機科學家)

本詞條是多義詞,共2個義項
更多義項 ▼ 收起列表 ▲

張令明是伊利諾伊大學厄巴納-香檳分校計算機系副教授,主要研究軟體工程、程式語言與機器學習的交叉領域。他於德州大學奧斯汀分校獲博士學位,在北京大學和南京大學分別獲得碩士及學士學位。其團隊開發的Magicoder代碼生成模型在2023年獲得GitHub日榜熱度第一,性能媲美ChatGPT和Gemini。曾獲ACM SIGSOFT Early Career Award、NSF CAREER Award等榮譽,2024年當選ACM傑出會員。2024年受邀在南京大學"軟體新技術講壇"作學術報告。

基本介紹

  • 當選時間:2024年ACM傑出會員 
  • 畢業院校:德州大學奧斯汀分校博士 
  • 代表獎項:ACM SIGSOFT Early Career Award 
  • 科研基金:NSF CAREER Award 
  • 代表模型:Magicoder代碼生成模型 
  • 評估框架:EvalPlus評估框架 
教育背景,研究方向,學術貢獻,學術活動,榮譽獎項,

教育背景

2000年代先後在南京大學獲學士學位、北京大學獲碩士學位,後赴美國德州大學奧斯汀分校攻讀博士學位。

研究方向

聚焦軟體工程與人工智慧交叉領域,包括:
  1. 基於大模型的軟體測試與修復技術,在深度學習系統、Linux作業系統等發現上千缺陷
  2. 代碼大模型質量保障方法,提出TitanFuzz、FuzzGPT等測試工具
  3. 開原始碼模型開發,主導構建StarCoder2和Magicoder模型
  4. 程式合成技術,開發AlphaRepair自動修復技術

學術貢獻

2023年開發的Magicoder模型基於OSS-INSTRUCT方法,使CodeLlama-Python-7B性能提升超過20%。其團隊創建的EvalPlus評估框架成為行業基準工具,在軟體測試領域提出FuzzGPT技術實現自動化模糊測試。

學術活動

  1. 2023年在中國計算機學會ADL144講習班作主題報告
  2. 2024年擔任ASE25、OOPSLA24等國際會議程式委員會主席
  3. 2024年6月28日在南京大學主講"大模型時代的軟體質量保證"
  4. 發起首屆代碼大模型Workshop(LLM4Code24)

榮譽獎項

截至2024年,主要榮譽包括:
  • 谷歌/Meta/三星科研獎
  • UIUC工程學院傑出科研獎
  • 軟體工程領域多個國際會議傑出論文獎

相關詞條

熱門詞條

聯絡我們