2024年11月8日16：40-18：40，湖南大學岳麓學者博士生導師賈曉東副教授蒞臨學校在思學樓A110展開了關于《概率程序語言的domain理論基礎》的學術講座，理學院金檢華教授主持了會議，相關方向的教師及研究生們參加了此次學術交流活動。

賈曉東老師首先介紹了函數程序語言及其指稱語義，圖靈獎得主Dana Scott提出的domain理論利用序與拓撲結構給出程序的含義，借助數學理論來理解和預測程序的運行行為，指導程序語言的設計與驗證。接著，他介紹了在人工智能研究中發揮重要作用的概率程序語言，詳細闡述了高階概率程序語言的domain理論基礎及著名的Jung-Tix問題，深入淺出地引導師生探索與發現真問題，激發學生的求知欲和創新思維。

與會師生全神貫注地聆聽，積極交流討論，針對概率程序語言的變量類型、指代方式、概率冪domain賦值等問題向賈老師提問請教，賈老師都詳細地作了解答。現場氣氛活躍，與會師生表示受益匪淺，不僅對概率程序語言及其Domain理論基礎有了更深層次的認識，而且拓展了科學研究方法。

此次活動為我校青年教師搭建了學習與交流的平臺，助力我校教師在科學研究道路上不斷成長與進步，為培養更多優秀教師奠定堅實的基礎。