更新时间：2025-05-15 09:32作者：佚名
第36 ACM/IEEE计算机科学逻辑研讨会2021年，称为LICS2021）将于6月29日至7月2日在线举行（主要场地位于意大利罗马大学）。 Jia Xiaodong博士（第一作者）及其在湖南大学数学学院的合作者Jia Xioodong博士（概率编程语言的交换单案）发表在LICS2021中。
LICS系列会议是理论计算机科学领域的顶级国际会议之一。结果代表了理论计算机科学的最前沿，并且具有广泛而深刻的学术影响力。从1986年首次在剑桥大学举行，到2020年，第一张国内单位签署了9篇论文。 2021年，第一篇国内单位签署的共有3篇论文被LICs接受，即中国科学院，福丹大学和湖南大学。
Jia Xiaodong博士及其合作者的工作解决了参考语义和领域理论中的长期公共问题：在DCPO类别中找到可交换的概率功能函数，并使用它来为高阶概率计算提供参考语义。这项工作也是启动领域理论中著名的荣格- 蒂克斯问题（Jung and Tix于1998年提出的）的强大尝试。
使用Keimel和Lawson的K-Complete理论，在数学中，Jia Xiaodong博士提供了一种统一的构建可交换概率函数的方法，并特别给出了三个可交换的概率功率函数。他和他的合作者使用这种类型的功率函子来成功建立用于高阶概率计算的参考语义模型，并证明在其参考语义模型中，概率程序的计算顺序不会影响最终计算结果。这项工作为进一步开发高阶概率计算提供了坚实而可靠的数学理论基础。
资料来源：数学学院
实*生：李·辛鲁（Li Xinru）
负责编辑：Wen Yijia