吴慧珊,北京语言大学信息科学学院副教授,硕士生导师。2009年本科毕业于安徽师范大学数学与应用数学专业,2012年硕士毕业于北京师范大学基础数学专业,2017年博士毕业于新加坡南洋理工大学基础数学专业。
主要从事数理逻辑领域的研究工作,研究将反推数学和可计算性理论的方法应用到代数学中,考察代数对象和定理在二阶算术下的证明强度以及在二阶逻辑语言下的定义复杂性等问题。
近年来致力于环论、模论的可计算性问题和反推问题的研究,在领域内知名期刊上发表学术论文十余篇,主持国家自然科学基金青年科学基金项目。代表性成果发表于Annals of Pure and Applied Logic、Journal of Symbolic Logic、Science China Mathematics、Theoretical Computer Science等期刊。