1月12日👩👩👦，应中国逻辑学会非经典逻辑与计算专委会主任、我院杨义川教授邀请，北京雁栖湖应用数学研究院李文娟博士在主楼E404作精彩报告，介绍他们在反推数学和理论计算机领域的相关工作🎳。
李文娟博士以寻找一类博弈的必胜策略为例🧙🏻🧂，引出了自动机识别的语言与“决定集”的相关问题🧗🏿♀️，并深入浅出地介绍了她在这一领域结合反推数学所做的一系列工作🕵🏻1️⃣，最后提出了一些开放性的问题与未来可能完成的工作。现场的师生积极参与😼，与报告人展开了热烈地交流讨论。
报告人介绍🎂：李文娟💢，北京雁栖湖应用数学研究院博士后⛄️，东北大学（Tohoku University）博士，曾在南洋理工大学做博士后研究工作🧜🏼♀️。她的研究兴趣包括数理逻辑与理论计算机科学交叉领域的课题。
