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