<

原创人才济济的湖南大学

金秋十月，万物辉煌

经历了盛夏的生长与沉淀后

湖南大学的杰出学者们

近期在各个领域取得了丰硕的成果

就让我们来一起了解

这些智慧与创造力的结晶

01

数学学院贾晓东博士与合作者在domain理论和指称语义学取得重要进展

近日，数学学院贾晓东博士与巴黎萨克雷大学JeanGoubault-Larrecq教授团队合作，在domain理论和指称语义学取得重要进展。利用domain理论，贾晓东博士和JeanGoubault-Larrecq教授的论文为统计型高阶概率程序语言的指称语义建立了数学理论框架。相关论文已被计算机科学顶级刊物JournaloftheACM（JACM）正式接受发表。

在文章中，贾晓东博士与JeanGoubault-Larrecq教授利用实数集的区间domain理论，将实数集上的概率分布表示成为其区间domain结构上的极小赋值映射，首次建立了统计型高阶程序语言ISPCF的domain理论模型，证明了程序语言与其数学模型之间的可靠性与充分性定理，由此得出在ISPCF程序语言中，连续概率抽样顺序不影响程序的最终计算结果。该工作为进一步利用domain理论设计与验证更复杂的概率程序语言的可靠性问题奠定了理论基础。

JACM杂志是世界计算机协会ACM的旗舰期刊，中国计算机学会CCF推荐的交叉/综合/新兴板块的A类学术期刊，主要发表在计算机科学原理方面最突出且具有持久价值的研究工作。

02

经贸院杨湘黔研究成果在理论经济学顶刊发表

近日，经济与贸易学院杨湘黔助理教授在理论经济学领域取得研究进展，研究成果发表在JournalofEconomicTheory期刊上。该研究解决了经典拍卖机制下消费者最优信息设计的问题，同时为稳健机制设计问题提供了确切的上界基准。

该研究是在给定平台商家采用诺贝尔经济学奖得主Myerson在年给出的最优拍卖来作最优应对的情况下，设计了使消费者总剩余最大化的信息结构，同时也给出了稳健机制设计问题确定收入的上界。理论上，该研究为信息设计与机制设计的交互作用问题提供了有用的理论基准。技术上，该研究将无穷维的信息设计问题通过一系列转化，将该问题转化为有限维的可操作的约束优化问题。

JournalofEconomicTheory期刊期刊是理论经济学领域最受