應學院邀請，湖南大學李慶國教授将在線作學術報告。
報告題目：Domain理論簡介
報告摘要：在當今科技發展和人類生活中，計算機已成為不可或缺的工具。程序語言作為人類和計算機交互的媒介，将人類從衆多繁重的工作中解放出來。為了更好地設計和使用程序語言，需要建立程序語言的數學模型，利用數學理論與方法幫助設計人員建立更高效、應用範圍更廣的程序語言。因此，上世紀70 年代初，圖靈獎得主Dana Scott 利用偏序結構和拓撲結構建立了Domain 理論作為程序語言的數學模型。除了為程序語言提供數學模型外，Domain 理論也應用于計算理論，同時與分析學、代數學、範疇論和邏輯理論等交叉融合，相互促進。
近年來，Domain理論日趨完善，2003年專著《Continuous Lattices and Domains》将上世紀關于Domain的研究成果做了一個總結。2013年《Non-Hausdorff Topology and Domain Theory》将T0-空間與Domain之間的關聯做了一個系統的總結。本報告将對Domain産生的背景，Domain理論中的四個重要的研究方向做一個比較詳盡的闡述。
報告時間：2022年12月19日下午3:00
報告地點：騰訊會議(會議号:771-328-012)
邀 請 人：喬軍勝 副教授
屆時歡迎廣大師生參與交流！
【報告人簡介】
李慶國，博士，湖南大學數學學院二級教授，博士生導師，校學術委員會委員。1999年7月至2000年6月及2008年11月至2009年11月分别在美國科羅拉多大學數學系和康涅底克大學數學系作訪問教授。2000年12月起擔任湖南大學應用數學專業博士生導師。現為中國系統工程學會模糊數學與模糊系統委員會副理事長，湖南省數學學會副理事長。入選湖南省121人才第一層次，國務院政府特殊津貼獲得者，湖南大學嶽麓學者。曾獲2013年湖南省自然科學一等獎，排名第一。已完成國家自然科學基金面上項目五項。現正承擔國家自然科學基金重點項目一項。目前主要研究領域為Domain理論，非Hausdorff拓撲。至今為止，已在《Applied Categorical Structures》，《Information and Computation》，《Annals of Pure and Applied Logic》，《Information Sciences》，《Theoretical Computer Science》，《Topology and its Applications》，《Journal of Pure and Applied Algebra 》,《Fuzzy Sets and System》等國際期刊上發表論文100 餘篇。
