報告題目：概率程序語言的domain理論基礎

報告人： 賈曉東  湖南大學副教授，博士生導師

報告時間：2024年11月8日16：40-18:40

報告地點：思學樓A110

報告人簡介：

       賈曉東，湖南大學數學學院副教授，博士生導師，湖南大學岳麓學者；先后師從李慶國教授和Achim Jung教授學習domain理論與指稱語義學，博士畢業(yè)于英國伯明翰大學計算機科學學院；隨后在巴黎-薩克雷大學與Jean Goubault-Larrecq教授、美國杜蘭大學與Michael Mislove教授從事博士后研究工作； 現主要從事domain理論、非Hausdorff拓撲、指稱語義學等方面的研究；主持完成國家自然科學基金青年項目一項；現主持國家自然科學基金面上項目一項，主持湖南大學優(yōu)秀青年人才培育計劃項目，參與國家自然科學基金重點項目一項；在《Journal of the ACM》、LICS、POPL、《Mathematical Structures in Computer Science》、《Theoretical Computer Science》、《Applied Categorical Structures》、《Topology and its Applications》和《Logical Methods in Computer Science》等期刊和會議發(fā)表論文20余篇。

報告內容摘要：

      圖靈獎得主Dana Scott提出的domain理論利用序與拓撲結構給出程序的含義，借助數學理論來理解和預測程序的運行行為，指導程序語言的設計與驗證。近年來，概率程序語言在人工智能研究中發(fā)揮著重要的作用，在本報告中，我們重要討論高階概率概率程序語言的domain理論基礎。這涉及到理論計算機科學中著名的Jung-Tix問題與我們在這一問題研究中的相關進展。

主辦單位：理學院、人工智能研究院、非線性動力系統(tǒng)研究所、數理力學研究中心 

科學技術發(fā)展研究院