报 告 人：寇辉 教授（四川大学）
报告题目：On an open problem of Amadio and Curien
报告时间：2016年9月24日上午9：00
报告地点：静远楼204报告厅
报告摘要：The stable domains provide the semantical models for sequential computation in theoretical computer science. We will talk about an open problem on stable domains which is raised by Amadio and Curien. The talk shows a partial solution to the problem.
报告人简介：
寇辉教授是四川大学数学学院博士生导师，全国模糊数学与模糊系统学会秘书长。1998年7月在四川大学数学系获得理学博士学位。目前主要从事拓扑学与理论计算机领域相交叉的Domain理论的研究。主持国家自然科学基金多项并参加科技部重要基础研究“973”项目。2007年入选教育部“新世纪优秀人才支持计划”。