您的位置 首页 母校新闻

贾晓东博士在顶级国际会议LICS2021发表科研成果

日前,湖南大学数学学院贾晓东博士(第一作者)与合作者的论文“Commutative Monads for Probabilistic Programming Languages”在LICS2021发表。LICS系列会议是理论计算机科学领域最顶级的国际会议之一,成果代表着理论计算机科学的前沿,自1986年在剑桥大学首次举办至2020年,共计9篇签署国内第一单位的论文在LICS发表。2021年,共3篇签署国内第一单位的论文被LICS接受,分别是中国科学院、复旦大学以及湖南大学。

贾晓东博士与合作者的工作解决了指称语义学和Domain理论中一个长期的公开问题:在DCPO范畴中寻找可交换的概率幂函子,并用之给出高阶概率计算的指称语义。该工作也是对Domain理论中著名的Jung-Tix问题发起的一次有力尝试(由Jung和Tix于1998年提出)。

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

作者: mzh

为您推荐

本科生董龙杰获湖南省英语短视频大赛一等奖

12月19日,由中共湖南省委外事工作委员会办公室、湖南日报社共同主办的“热LOVE新湖南”2021湖南省线上英语短视频大...

刘渊:畅游在基础研究的海洋中

我是一名回国工作不久的青年科研人员。几年来,我亲身感受到一种春意盎然的变化——随着我国基础研究实力快速增强,科研发展进入...

大宗商品市场发展与风险管理学术研讨会在我校举行

12月11日至12日,2021年大宗商品市场发展与风险管理学术研讨会在我校举行,副校长谢赤出席研讨会并致辞。 该研讨会由...

湖大8名科技工作者获表彰

湖南省科协第十一次全省代表大会于12月18至19日在长沙举行。在18日上午的开幕式上,大会表彰了第二届湖南省优秀科技工作...

湖大获批72项教育部产学合作协同育人项目

近日,教育部高等教育司公布2021年第二批产学合作协同育人项目立项名单,我校45个项目获批立项。截至目前,我校共获批20...

发表回复

您的电子邮箱地址不会被公开。

返回顶部