丁志義[寧夏大學教授]

丁志義是寧夏大學教授

基本信息

• 中文名：丁志義
• 民族：漢族
• 國籍：中國
• 職業：教育 教師
  
• 畢業院校：成都科技大學
• 政黨：中國共產黨

個人事跡

1989年7月畢業於成都科技大學計算機及自動控制系，獲得學士學位;

2003年畢業於華東理工大學計算機科學與工程系獲工學碩士學位；

2004年三月考入華東理工大學計算機科學與工程系博士研究生；

自1993年起，共參加完成了三項國家自然科學基金項目“基於漢字字形的西夏文字研究” “基於相容證法的程式驗證系統”及上海市青年科技啟明星計畫的項目的研發。

曾獲寧夏回族自治區科技進步三等獎

主講課程：可計算性理論 形式語義學 高等數理邏輯 高等軟體工程 程式設計語言原理 C語言設計

學術著作

“命令的指稱語義在謂詞域上的一種表示” 計算機科學 .2008

1993.7至今在寧夏大學從事計算機教學和科研工作，參加國家自然科學基金資助項目《基本漢字字形的西夏文字研究》。發表學術論文約15篇。