講座時(shí)間：2022-11-23 15:30

講座地點(diǎn)：格致中樓500會議室

主講人：李慶國

主講人簡介：李慶國：男，漢族。生于1963年6月。博士，湖南大學(xué)數(shù)學(xué)學(xué)院二級教授，博士生導(dǎo)師，校學(xué)術(shù)委員會委員。1999年7月至2000年6月及2008年11月至2009年11月分別在美國科羅拉多大學(xué)數(shù)學(xué)系和康涅底克大學(xué)數(shù)學(xué)系作訪問教授。2000年12月起擔(dān)任湖南大學(xué)應(yīng)用數(shù)學(xué)專業(yè)博士生導(dǎo)師?，F(xiàn)為中國系統(tǒng)工程學(xué)會模糊數(shù)學(xué)與模糊系統(tǒng)委員會副理事長，湖南省數(shù)學(xué)學(xué)會副理事長。入選湖南省121人才第一層次，國務(wù)院政府特殊津貼獲得者，湖南大學(xué)岳麓學(xué)者。曾獲2013年湖南省自然科學(xué)一等獎，排名第一。已完成國家自然科學(xué)基金面上項(xiàng)目五項(xiàng)?，F(xiàn)正承擔(dān)國家自然科學(xué)基金重點(diǎn)項(xiàng)目一項(xiàng)。目前主要研究領(lǐng)域?yàn)镈omain理論，非Hausdorff拓?fù)?。至今為止，已在《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 》等國際期刊上發(fā)表論文100 余篇。

報(bào)告內(nèi)容概要：在當(dāng)今科技發(fā)展和人類生活中，計(jì)算機(jī)已成為不可或缺的工具。程序語言作為人類和計(jì)算機(jī)交互的媒介，將人類從眾多繁重的工作中解放出來。為了更好地設(shè)計(jì)和使用程序語言，需要建立程序語言的數(shù)學(xué)模型，利用數(shù)學(xué)理論與方法幫助設(shè)計(jì)人員建立更高效、應(yīng)用范圍更廣的程序語言。因此，上世紀(jì)70 年代初，圖靈獎得主Dana Scott 利用偏序結(jié)構(gòu)和拓?fù)浣Y(jié)構(gòu)建立了Domain 理論作為程序語言的數(shù)學(xué)模型。除了為程序語言提供數(shù)學(xué)模型外，Domain 理論也應(yīng)用于計(jì)算理論，同時(shí)與分析學(xué)、代數(shù)學(xué)、范疇論和邏輯理論等交叉融合，相互促進(jìn)。 近年來，Domain理論日趨完善，2003年專著《Continuous Lattices and Domains》將上世紀(jì)關(guān)于Domain的研究成果做了一個總結(jié)。2013年《Non-Hausdorff Topology and Domain Theory》將T0-空間與Domain之間的關(guān)聯(lián)做了一個系統(tǒng)的總結(jié)。我國學(xué)者在這一領(lǐng)域也貢獻(xiàn)了許多非常有創(chuàng)新的成果。但Domain理論中仍有一些公開問題沒有得到解決，特別是有的問題長達(dá)四十年。本報(bào)告會對這些有代表性的問題做個詳細(xì)的介紹，從問題的背景，研究的現(xiàn)狀，相關(guān)問題的研究結(jié)果等給與展示，希望能夠吸引有志的青年學(xué)者投入到這些問題的研究中。

理學(xué)院

2022年11月21日