6月6日下午，伟德BETVLCTOR2023年度第五期數智講壇系列報告邀請了國家傑出青年基金獲得者、上海市優秀學科帶頭人、上海交通大學特聘教授傅育熙做“可達性問題的算法與複雜性”的精彩報告。上海海洋大學、上海海事大學的師生們共同聆聽了本次報告。報告由伟德BETVLCTOR副院長賀琪主持。
傅育熙教授從一些簡單有趣的例子出發，解釋了Petri網可達性問題的基本定義、算法思想和複雜性結果，闡述了可達性問題的研究曆史和發展曆程，并介紹了本人在固定維度下可達性問題的新的複雜性結論。
在提問環節，在場的師生同傅育熙教授進行了積極的互動，大家向傅育熙教授就可達性問題在軟件分析領域中的應用、可達性問題涉及的理論基礎等提出疑問和看法，傅育熙教授一一進行耐心的解答與探讨。
本次報告的順利開展，不僅開拓了老師和同學們的學術視野，提高學術水平，也有助于兄弟院校間的合作交流。
（供稿 伟德BETVLCTOR）