常文静，女，1989年生，河南焦作人，汉族，博士，讲师，硕士生导师。主要从事自动推理、可信性验证方法及其工程应用等方面的研究。参与完成国家科学基金项目2项，省部级（四川省经信委）项目1项，企业横向项目1项。目前正在主持国家青年科学基金项目1项，以及参与河南省科学基金项目1项。在国内外重要期刊发表论文11余篇，其中被SCI / EI收录5篇（其中计算机领域顶级期刊1篇）。