吳慧珊，北京語(yǔ)言大學(xué)信息科學(xué)學(xué)院副教授，碩士生導(dǎo)師。2009年本科畢業(yè)于安徽師范大學(xué)數(shù)學(xué)與應(yīng)用數(shù)學(xué)專(zhuān)業(yè)，2012年碩士畢業(yè)于北京師范大學(xué)基礎(chǔ)數(shù)學(xué)專(zhuān)業(yè)，2017年博士畢業(yè)于新加坡南洋理工大學(xué)基礎(chǔ)數(shù)學(xué)專(zhuān)業(yè)。
主要從事數(shù)理邏輯領(lǐng)域的研究工作，研究將反推數(shù)學(xué)和可計(jì)算性理論的方法應(yīng)用到代數(shù)學(xué)中，考察代數(shù)對(duì)象和定理在二階算術(shù)下的證明強(qiáng)度以及在二階邏輯語(yǔ)言下的定義復(fù)雜性等問(wèn)題。
近年來(lái)致力于環(huán)論、模論的可計(jì)算性問(wèn)題和反推問(wèn)題的研究，在領(lǐng)域內(nèi)知名期刊上發(fā)表學(xué)術(shù)論文十余篇，主持國(guó)家自然科學(xué)基金青年科學(xué)基金項(xiàng)目。代表性成果發(fā)表于A(yíng)nnals of Pure and Applied Logic、Journal of Symbolic Logic、Science China Mathematics、Theoretical Computer Science等期刊。
