講座主題：從程序合成到算法合成
特邀專家：熊英飛 教授
講座時間：7月4日（周一）9:00
講座形式：騰訊會議，471-822-172
專家介紹：
熊英飛，2009年于日本東京大學(xué)獲得博士學(xué)位，2009-2011年在加拿大滑鐵盧大學(xué)工作，2012年加入北京大學(xué)，現(xiàn)任新體制長聘副教授。研究方向是程序設(shè)計語言和軟件工程，特別是程序合成、修復(fù)和分析。他提出了理論和方法降低程序編寫和缺陷修復(fù)的代價。獲得CCF-IEEE CS青年科學(xué)家獎、MODELS十年最有影響力論文獎，5次獲得ACM SIGSOFT/IEEE TCSE杰出論文獎。擔(dān)任SATE18的程序委員會聯(lián)合主席。
講座內(nèi)容簡介：
本報告將簡要介紹程序合成的基礎(chǔ)知識和合成算法，同時介紹北京大學(xué)在程序合成上的最新工作—算法合成。算法合成旨在探索用計算機(jī)自動從規(guī)約中生成高效算法，目前的初步探索結(jié)果已經(jīng)能合成部分并行分治和動態(tài)規(guī)劃的算法，成功解決近百個算法問題，包括算法導(dǎo)論的習(xí)題、算法論文中討論的問題和世界算法比賽中難住大多數(shù)隊伍的問題。
