近日,第九届Domain理论及其应用国际研讨会(The 9th International Symposium of Domain Theory and its Applications)通过线上方式举行。本次会议由新加坡南洋理工大学主办,来自美国、英国、法国、捷克、日本、韩国、新加坡等国家以及国内四川大学、山东大学、上海交通大学、北京航空航天大学、湖南大学、北京理工大学、华东师范大学等20多所高校的近百位专家学者参加会议。
会议邀请了中国、美国、英国、法国、捷克、日本等国家的9位知名专家作大会报告。我校数学与统计学院院长徐晓泉教授应邀作开幕式后的首场大会报告,介绍了他和合作者在Scott幂空间(Scott power spaces)研究上所取得的成果。会议期间,徐晓泉教授还应邀担任会议程序委员会委员和分组报告主持人。
Domain理论是由国际著名数学家、理论计算机科学家、图灵奖获得者Dana Scott于上世纪70年代初创立的。经过半个多世纪的发展,Domain理论已成为计算机程序指称语义学的重要数学基础,并与拓扑、逻辑、范畴、分析、动力系统等数学分支领域产生了密切联系,并发展出了非Hausdorff拓扑学和Domain分析学等分支领域。近三年,徐晓泉教授与合作者在Domain理论和非Hausdorff拓扑学的研究上取得了一系列重要成果,解决了包括著名的Jung问题等在内的多个遗留已久的公开问题,受到国内外学者的广泛关注,所发表的主要论文被广泛引用,成为ESI高被引论文,所引入的新空间、发展的新方法和提出的一系列公开问题正成为该领域新的研究热点。
【免责申明】本专题图片均来源于学校官网或互联网,若有侵权请联系400-0815-589删除。