講座主題：從法式合成到算法合成
特邀专家：熊英飞 教授
講座時間：7月4日（周一）9:00
講座形式：騰訊會議，471-822-172
專家介紹：
熊英飛，2009年于日本東京大學獲得博士學位，2009-2011年在加拿大滑鐵盧大學事情，2012年加入北京大學，現任新體制長聘副教授。研究偏向是法式設計語言和軟件工程，特別是法式合成、修複和分析。他提出了理論和要领降低法式編寫和缺陷修複的代價。獲得CCF-IEEE CS青年科學家獎、MODELS十年最有影響力論文獎，5次獲得ACM SIGSOFT/IEEE TCSE傑出論文獎。擔任SATE18的法式委員會聯合主席。
講座內容簡介：
本報告將簡要介紹法式合成的基礎知識和合成算法，同時介紹北京大學在法式合成上的最新事情—算法合成。算法合成旨在探索用計算機自動從規約中生成高效算法，目前的开端探索結果已經能合成部门並行分治和動態規劃的算法，乐成解決近百個算法問題，包罗算法導論的習題、算法論文中討論的問題和世界算法比賽中難住大多數隊伍的問題。
