講座主題：法式合成
講座時間：2020/6/22 9:30-11:30
特邀專家：熊英飛，日本東京大學獲得博士學位，2012年于北京大學事情，任“百人計劃”研究員，2019年選爲“優青”。從事缺陷自動修複的研究，所提出的基于差別的雙向變換框架是演化缺陷的主流理論框架之一，所提出的法式缺陷修複技術將修複准確
率一次提高約40個百分點。
講座內容：法式合成主要用于自動構建滿足特定需求的目標法式，如終端用戶編程、優化和Bug修複。本講座將介紹法式合成技術的基本看法、要领和典型應用，及未來學習的指導。講座內容涵蓋合成法式以滿足正式規範的經典要领，以及依賴統計模型來推斷
可能的法式以實現不確定目標的最新要领。
加入方式：腾讯聚会会议 ，ID: 268 287 038， 聚会会议链接：https://meeting.tencent.com/s/KwnkVVdlwqPp
