趙嶺忠（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篇. 目前主要從事人工智慧（知識表示、知識推理等）和軟體工程（軟體驗證、分析等）等領域的教學和科研。
基本介紹
- 中文名：趙嶺忠
- 國籍：中國
- 出生日期：1977
- 職業：工學博士,副教授
個人簡介,主持的項目,
個人簡介
主持的項目
1） 國家自然科學基金項目：基於抽象解釋的邏輯程式驗證研究
2） 廣西區自然科學基金面上項目：ASP知識庫訪問控制機制研究
3） 廣西區青年科學基金項目：基於抽象解釋的邏輯程式驗證技術研究（已結題）
4） 武漢大學軟體工程國家重點實驗室開放基金項目：ASP知識庫授權一致性驗證技術研究
5） 廣西區教育廳面上項目：邏輯程式的自動驗證技術研究（已結題）
6） 桂林電子科技大學校科學基金項目：邏輯程式的自動驗證技術研究
7） 桂林電子科技大學學科軟環境建設項目：離散對象的符號表示技術研究（已結題）
8） 2010年新世紀廣西高等教育教改工程項目：基於探究式方法的軟體類課程改革與實踐
