2017年12月13日上午，付治國博士在伟德国际BETVlCTOR做了題為“Holographic Algorithm with Matchgates Is Universal for Planar #CSP Over Boolean Domain”的學術報告。付治國博士于2009年在伟德国际BETVlCTOR獲計算數學博士學位，現為東北師範大學信息科學與技術學院副教授，2014年-2017年在美國威斯康星大學麥迪遜分校從事計算複雜性研究。主要研究方向為計數問題的計算複雜性、包括計數問題的計算複雜性分類、全息算法以及計數問題的近似算法和随機算法，已在STOC, FOCS, SIAM. J. Computing, J. Information and Computation等著名會議和期刊發表多篇論文。
本次講座的主要内容是付治國博士近期的研究成果，對于計數問題的計算複雜性、包括計數問題的計算複雜性分類等介紹了最新的研究成果，同時指出一些具有潛在研究意義的開放問題以及未來的工作。報告結束後又與在場師生探讨了讨論了如何紮實開展理論研究及未來如何開展相關研究領域的⏭➰等問題。通過本次報告，使得在場的師生拓寬學術視野，取得了良好的收獲。
