桂林电子科技大学副教授

赵岭忠（1977－），工学博士,副教授. 主持和作为主要人员参与包括国家自然科学基金、广西自然科学重点基金项目在内的10余项课题.目前主持在研国家青年科学基金项目一项、广西自然科学基金项目一项、武汉大学软件工程国家重点实验室开放基金一项、桂林电子科技大学科学基金项目一项; 主持完成广西青年科学基金项目一项. 获得软件著作权三项,广西区高等教育教学成果一等奖一项. 在《Data and Knowledge Engineering》、《Software Quality Journal》、《计算机研究与发展》、《计算机科学》、《计算机集成制造系统》、《通信学报》等国内外核心期刊及“PRICAI 2010”、“ROBIO 2009”、“APLAS’07”、“TASE’07”、“PRICAI’06”、“AI’06”等重要的软件工程和人工智能国际学术会议上发表和录用论文40篇，其中SCI、EI收录18篇. 目前主要从事人工智能（知识表示、知识推理等）和软件工程（软件验证、分析等）等领域的教学和科研.

主持的项目:

1）　 　 　 　 国家自然科学基金项目：基于抽象解释的逻辑程序验证研究

2）　 　 　 　 广西区自然科学基金面上项目：ASP知识库访问控制机制研究

3）　 　 　 　 广西区青年科学基金项目：基于抽象解释的逻辑程序验证技术研究（已结题）

4）　 　 　 　 武汉大学软件工程国家重点实验室开放基金项目：ASP知识库授权一致性验证技术研究

5）　 　 　 　 广西区教育厅面上项目：逻辑程序的自动验证技术研究（已结题）

6）　 　 　 　 桂林电子科技大学校科学基金项目：逻辑程序的自动验证技术研究

7）　 　 　 　 桂林电子科技大学学科软环境建设项目：离散对象的符号表示技术研究（已结题）

8）　 　 　 　 2010年新世纪广西高等教育教改工程项目：基于探究式方法的软件类课程改革与实践