2021年第36届ACM/IEEE计算机科学逻辑研讨会（LICS2021）将于6月29日至7月2日在线举行（主会场在意大利罗马大学）。湖南大学数学学院贾晓东博士（第一作者）及其合作者的论文《Commutative Monads for Probabilistic Planning Languages》发表在LICS2021上。

LICS会议系列是理论计算机科学领域的顶级国际会议之一。其成果代表了理论计算机科学的前沿，具有广泛而深远的学术影响。自1986年在剑桥大学首次举办至2020年，LICS共发表国内首批机构署名论文9篇。 2021年，国内首批签约机构共有3篇论文被LICS接收，分别是中国科学院、复旦大学、湖南大学。

贾晓东博士及其合作者的工作解决了指称语义和领域理论中长期悬而未决的问题：寻找DCPO范畴中的可交换概率幂函子，并利用它们为高阶概率计算提供指称语义。这项工作也是推出领域理论中著名的Jung-Tix 问题（由Jung 和Tix 于1998 年提出）的有力尝试。

贾晓东博士利用Keimel和Lawson的K-完全理论，在数学上给出了构造交换概率幂函子的统一方法，并具体给出了三种交换概率幂函子。他和他的合作者利用此类幂函子成功建立了用于高阶概率计算的指称语义模型，并证明在他们的指称语义模型中，概率程序的计算顺序不会影响最终的计算结果。这项工作为高阶概率计算的进一步发展提供了坚实可靠的数学理论基础。

来源：数学学院

实习编辑：李新茹

责任编辑：温宜嘉