丁志义

丁志义 - 个人事迹

1989年7月毕业于成都科技大学计算机及自动控制系，获得学士学位;

2003年毕业于华东理工大学计算机科学与工程系获工学硕士学位；

2004年三月考入华东理工大学计算机科学与工程系博士研究生；

自1993年起，共参加完成了三项国家自然科学基金项目“基于汉字字形的西夏文字研究” “基于相容证法的程序验证系统”及上海市青年科技启明星计划的项目的研发。

曾获宁夏回族自治区科技进步三等奖

主讲课程：可计算性理论  形式语义学  高等数理逻辑   高等软件工程  程序设计语言原理  C语言设计

丁志义 - 主要学术著作“命令的指称语义在谓词域上的一种表示”    计算机科学  .2008

1993.7至今在宁夏大学从事计算机教学和科研工作，参加国家自然科学基金资助项目《基本汉字字形的西夏文字研究》。发表学术论文约15篇。