您现在的位置:首页>科学研究>科研平台
形式验证方向
时间:2016-05-24 13:46:36   来源:数学与信息科学系
1、 学科负责人情况
赵光峰
   
专业技术职务
教授
是否
兼职
出生年月
1964.2
 
学历学位情况简介(包括毕业时间、学校、专业)
博士研究生月毕业工作单位(至系)
唐山师范学院数学与信息科学系
主要研究方向
形式验证方向
本人20101月至201512月科研情况
 
在国内外重要学术刊物上发表论文共 3 篇。出版专著(译著等) 1   部。
获奖成果共 0   项;其中:国家级 0   项,省部级 0 项。
目前承担项目共 13 项;其中:国家项目 0 项,省部项目 3 项。
支配科研经费共 10   万元,年均   3.3 万元。
序号
成果(获奖项目、论文、专著)名称
获奖名称、等级或鉴定单位,
发表刊物,出版单位,时间
本人署
名次序
 
Animation Simulation of Visualization Management System in the Iron and Steel Enterprises:The Design and Its Implementation EI)(方向4
 
4
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
目前承担主要项目
 1
唐山师范学院管理信息系统研发
唐山师范学院
1
 2
数据库驱动的网络信息系统通用开发平台
 
1
 3
形式化方法研究与实现
 
1
 
2、学术带头人及主要骨干教师情况
 
 
出生年月
获博士
学位年月
获硕士
学位年月
专业技术
职务
极值统计与金融数学
赵光峰
1964.2
2002.5
1988.7
教授
冯玉芬
1970.3
 
2012.8
副教授
贾东芳
1982.2
 
2010.6
讲师
郝璞玉
1981.7
 
2009
讲师
王伟芳
1984.7
 
2010.6
讲师
樊丽丽
1981.12
 
2007.6
讲师
 
3、 成果介绍
应用数学学科系统可信性自动验证中心完成了与西南交通大学研究院签订的《形式化方法研究与实现》横向课题项目,利用西南交大可信验证实验室证明器完成了进行自动验证和定位错误的接口实现以及自主知识产权形式化软件的需求研究