On May 10th, the first lecture of the academic section and the eleventh lecture of the "AIIT Open Course" of the fifth anniversary celebration series of Peking University Information Science and Technology Research Institute were successfully held. This lecture invites Professor Li Dawei, Chief Scientist Advisor and Chairman of Daiming Technology at the Intelligent Software Research Center of Peking University Information Science and Technology Research Institute, to give a lecture. With the theme of "VSI and Formal Methods", Professor Li Dawei explained the development history and current application trends of VSI technology methods to the audience in a clear and concise manner.