个人简介

宁欣然，博士，讲师。2013年毕业于西南交通大学数学及应用数学专业，获理学学士学位；2015年从西南交通大学数学学院应用数学专业硕博连读跨至西南交通大学信息学院计算机科学与技术专业，于2019年获得工学博士学位；2017年至2018年期间赴英国阿尔斯特大学计算学院交流访学一年。在科学研究方面，研究领域主要为自动推理（命题求解和一阶定理证明、自动推理与机器学习方法的结合等），以第一作者共发表由SCI，EI检索的论文6篇；研究兴趣广泛，涉及形式化、人工智能、数学建模、自然语言处理等。在教学方面，目前所授课程主要为移动互联技术及应用（安卓开发）、程序设计（C语言）、人工智能与机器翻译（自然语言处理）和前言技术讲座等。