常文静

常文静，女，1989年生，河南焦作人，汉族，中共党员，博士。主要从事智能信息处理，形式化验证，自动推理等方向的研究，参与国家自然科学基金项目2项，省部级（四川省经信委）项目1项，企业横向项目1项，在国内外重要期刊及国际会议上发表论文10余篇，被SCI/EI收录6篇。