开元国际棋牌

教授名录
当前位置: 首页 >> 师资队伍 >> 教授名录 >> 正文
丁志义
信息来源:开元国际棋牌      发布日期:2016-11-01      浏览次数:

丁志义教授

通信地址:宁夏银川市西夏区文萃北街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月)

研究领域

软件方法学、形式化方法、软件工程等

近期承担的主要研究课题

·主持国家自然科学基金项目(ZR61063003):“泛型程序的规范和验证问题研究”,已完成。

·主持宁夏自然科学基金项目(NZ0725)“类型理论与泛型程序设计”,已完成。

·参加了国家自然基金项目(ZR69863002):“基于汉字字型的西夏文字研究”,已完成,其研究成果获“宁夏回族自治区科技进步三等奖”。

奖励与荣誉

1、宁夏回族自治区科技进步三等奖1次;

2、宁夏大学教学成果一等奖1次(2017年);

3、宁夏回族自治区教学成果奖1次(2018年);

学术成果

发表论文20余篇,其中EI检索2。

上一条:史伟

下一条:高玉琢

关闭

西夏区文萃北街217号,开元国际棋牌 版权所有
  copyright 2014. All rights reserved.
XML 地图 | Sitemap 地图
Baidu
sogou