近日，中心蒋军利博士喜获2020-2022年学年度的西南大学优秀教师称号，充分肯定了蒋军利博士2020-2022学年度的教学与科研成绩。

成绩简介：蒋博士在保质保量完成教学任务的同时，还超额完成了本学年的科研任务。她运用现代逻辑工具，面向数据与策略推理、社会选择等具体问题，在模型检测算法、公理化系统等方面做出了自己的贡献，形成了两篇IJCAI-22会议主会论文（CCF-A级）以及一篇计算机与人工智能领域的权威杂志论文（Artificial Intelligence），这也是西南大学逻辑与智能研究中心在“逻辑与人工智能”交叉研究领域的重要成果。

（蒋军利/供图，熊作军/供稿、发布，李章吕/审核）