报 告 人：徐罗山 教授（扬州大学）
报告题目：Consistent Smyth and Hoare powerdomains
报告时间：2016年9月24日上午10：00
报告地点：静远楼204报告厅
报告摘要：Domain theory is the intersection between mathematics and theoretical computer science. Smyth and Hoare powerdomains provide the semantical models for indeterminate computation. We will talk about the quasi-continuous case for consistent Smyth and Hoare powerdomains introduced by Kou Hui. The talk shows some positive and negative results.
报告人简介：
徐罗山教授是扬州大学数学科学学院博士生导师，中国模糊系统学会常务理事，《模糊系统与数学》杂志编委。1992年获四川大学理学博士学位。曾到到比利时，西班牙，美国，德国等进行访问和合作研究。主要从事拓扑学、Domain理论、非经典逻辑和粗糙集理论的研究。在国内外学术刊物上发表论文110多篇，其中近40篇论文被SCI或EI检索。先后主持多项国家级与省部级科研项目，目前主持主持国家自然科学基金项目《Domain结构的内蕴拓扑刻画和信息系统表示》。