报告题目：Valuations monads-the knowns and unknowns

主讲人：贾晓东  教授

报告时间：2024年8月4日09:00-10:00

报告地点：图书馆东辅楼报告厅

主办单位：金沙集团wwW3354CC

报告摘要：连续赋值映射最初由Claire Jones和Gordon Plotkin在Domain理论中提出，是经典测度的非Hausdorff拓展，是表示编程语言概率影响的有用工具。本次报告旨在阐述关于赋值monad的许多已有的以及一些新的结果，此外，关于连续赋值映射的很多问题也将在本次报告中讨论。

主讲人简介：贾晓东博士是湖南大学数学学院教授，李庆国教授领导的拓扑学及其应用理论小组成员。主要研究方向为Domain理论、拓扑学、程序设计语言的指称语义。现主持国家自然科学基金面上项目“Domain理论中概率幂构造的相关问题”，试图从Domain理论的角度理解程序设计语言中的概率影响。