我院院长徐晓泉教授受邀在第九届Domain理论及其应用国际学术会议(ISDT'22)上做大会报告

作者:施建华 时间:2022-07-07 点击数:

第九届Domain理论及其应用国际研讨会(The 9th International Symposium of Domain Theory and its Applications)于2022年7月4-6日在线上举行,该会议旨在为Domain理论和相关领域的研究人员提供一个平台交流最近的研究成果,并旨在扩大该理论在计算机科学、数学和其他学科中的应用范围。本次会议由新加坡南洋理工大学主办,来自美国、英国、法国、捷克、日本、韩国、新加坡等国家以及国内四川大学、山东大学、上海交通大学、北京航空航天大学、湖南大学、北京理工大学、华东师范大学等20多所高校的近百位专家学者参加了会议。会议邀请了中国、美国、英国、法国、捷克、日本等国家的9位知名专家做大会报告。

我院徐晓泉教授受邀做开幕式后的首场45分钟大会报告,报告了他和合作者在Scott幂空间(Scott power spaces)研究上所取得的重要成果,受到关注。会议期间,徐晓泉教授还应邀担任了会议程序委员会委员和分组报告主持人。

Domain理论是由国际著名数学家、理论计算机科学家、图灵奖获得者Dana Scott于上世纪70年代初所创立的。经过半个多世纪的发展,Domain理论已成为计算机程序指称语义学的重要数学基础,并与拓扑、逻辑、范畴、分析、动力系统等数学分支领域产生了密切联系,并发展出了非Hausdorff拓扑学和Domain分析学等分支领域。近三年,徐晓泉教授与合作者在Domain理论和非Hausdorff拓扑学的研究上取得了一些列重要进展,解决了多个遗留已久的公开问题,包括著名的Jung问题,受到国内外学者的广泛关注,所发表的主要论文被广泛引用,成为ESI高被引论文,所引入的新空间、发展的新方法和提出的一系列公开问题正在成为该领域新的研究热点。


Copyright ©2018 闽南师范大学-数学与统计学院  电话:0596-2591441 传真:0596-2527931  学院党委信箱:msdstydzzh@163.com