教育教学
当前位置: 首页 >> 教育教学 >> 师资队伍 >> 正文

丁志义教授

信息来源:2014-09-18     发布日期:2014-09-18

姓名 丁志义

工作单位 宁夏大学数学计算机学院

职称/职务 教授

最高学位 博士

专业方向 软件方法学

1989.7-1993.7 宁夏炼油厂 助理工程师

1993.7至今 宁夏大学数学计算机学院 教授/系主任

教学工作

本科生课程 《离散数学》、《系统开发》、《计算机应用基础》、《可计算性与计算复杂性》、《C程序设计》、《计算机网络》

研究生课程 《高级软件工程》、《高等数理逻辑》、《形式语义学》、《程序设计方法学》

1. 主持教改项目

项目执行时间 项目名称 项目来源

2006.8-2008.12 《可计算性与计算复杂性》双语教学课程建设项目 宁夏大学

科研工作

1. 主持科研项目

项目执行时间 项目名称 项目来源

2007.1-2008.12 类型理论与泛型程序设计 宁夏自然科学基金

2011.1-2013.12 泛型程序的规范和验证问题研究 国家自然科学基金

2. 科研获奖

获奖时间 获奖名称 授予单位

2001.12.31 宁夏科技进步奖三等奖(排名第三) 宁夏回族自治区

3. 科研论文

1.丁志义. 软件过程剪裁及验证. 华东理工大学硕士学位论文, 2003年.

2.丁志义,吴庆涛,宋国新,邵志清.程序不动点的计算意义.宁夏大学学报自然科学版, 2007,28(3):237-240.

3.丁志义,宋国新,邵志清.类型系统与程序正确性问题.计算机科学,2006,33(1):141-143.

4.丁志义,宋国新,邵志清.吴庆涛.泛型程序中多型值的构造.华东理工大学学报自然科学版, 2006,32(8):967-969.

5.丁志义,宋国新,邵志清.命令的操作语义在类型系统中的一种表示.小型微型计算机系统, 2006,27(7): 1285-1288.

6.宋国新,邵志清,丁志义等译.The Formal Semantics of Programming Languages,an introduction(程序设计语言的形式语义)Glynn Winskel(著). 机械工业出版社,中信出版社,2004.

7.丁志义,李全德,宋国新,邵志清.命令的指称语义在谓词域上的一种表示,计算机科学,2008,35(7):157-160.

8.丁志义, 李全德,,陈华岭等.递归程序设计原理,软件导刊,2008,7(1):14-15.

下一条:吴素萍教授

关闭

版权所有:宁夏大学中卫校区   Copyright © 2014 NingXia University, zhongwei campus All rights reserved. Design by GuoFeng Liu