常文静

所属大学: 河南理工大学

所属学院: 计算机科学与技术学院

个人主页:
http://cst.hpu.edu.cn/info/1055/4553.htm

常文静，女，1989年生，河南焦作人，汉族，中共党员，博士。参与国家自然科学基金项目2项，省部级（四川省经信委）项目1项，企业横向项目1项，在国内外重要期刊及国际会议上发表论文10余篇，被SCI/EI收录6篇。

主要从事智能信息处理，形式化验证，自动推理等方向的研究