丁志义 教授
通信地址：宁夏银川市西夏区文萃北街217号宁夏大学信息工程学院，邮编：750021
办公室位置：信息工程学院德厚楼209
电话：传真：
电子邮箱zy_ding@163.com
教育背景
2004年3月~2010年3月，华东理工大学，控制理论与控制工程，博士
2000年9月~2003年7月，华东理工大学，计算机技术，硕士
1985年9月~1989年7月，成都科技大学，自动控制，学士
工作履历
1993年7月至今，宁夏大学教师
1989年7月~ 1993年7月，宁夏炼油厂，助理工程师
主讲课程
离散数学、编译原理、计算机导论、可计算性理论、高级软件工程等。
学术兼职
北京大学数学科学院访问****（2008年9月至2009年7月）；
英国伦敦大学皇家霍洛威学院访问****（2010年12月至2011年12月）
研究领域
软件方法学、形式化方法、软件工程等
近期承担的主要研究课题
·主持国家自然科学基金项目（ZR**）：“泛型程序的规范和验证问题研究”，已完成。
·主持宁夏自然科学基金项目（NZ0725）“类型理论与泛型程序设计”，已完成。
·参加了国家自然基金项目（ZR**）：“基于汉字字型的西夏文字研究”，已完成，其研究成果获“宁夏回族自治区科技进步三等奖”。
奖励与荣誉
1、宁夏回族自治区科技进步三等奖1次；
2、宁夏大学教学成果一等奖1次（2017年）；
3、宁夏回族自治区教学成果奖1次（2018年）；
学术成果
发表论文20余篇，其中EI检索2。