2023年6月21日上午，我院举办的第八届“研究生學術交流月”运动中，邀请了北京大学新体制长聘副教授熊英飞为研究生们带来学术前沿专题讲座《算法合成——自动应用算法模式合成高效法式》。本次讲座熊英飞教授从算法设计、算法优化、算法效果三个方面展开探讨，由浅入深地介绍了如何自动应用算法模式合成高效法式。

講座伊始，熊英飛教授通過引入“你認爲計算機專業最難學的課程是什麽？”等問題，強調了算法課程的重要性和困難性。接著闡述了自動應用算法模式所帶來的好處，包罗降低算法設計難度、節約人力成本以及提升法式效率等。

随即，熊英飞教授介绍了算法设计模式的自动应用要领，提出分治/并行化算法、增量算法和线段树等都可以规约为提升问题（Lifting Problem），然后利用提升问题求解算法（AutoLifter）。

其次，熊英飛教授以“查找列表中的第二小元素”問題爲例，詳細闡述了將分治算法、增量算法及線段樹規約爲提升問題的過程，並介紹了如何求解提升問題。然後，他介紹了法式合成的瓶頸：可伸縮性。要應對可伸縮性問題，可以接纳兩套剖析要领，分別是變量消除和組件消除。

最後，熊英飛教授講述了算法合成的重要性和願景。他指出，算法合成是重要的，各種軟件，包罗宁静攸關軟件，都需要大量算法。同時，算法設計是困難的，研究只是整理出算法設計模式，然而能否應用全憑法式員能力。

軟件學院將繼續舉辦系列講座，促進學術交流，爲研究生提供更多學習和成長的機會，歡迎全校師生積極參與。