威澳门尼斯人官网进入we(中国)股份有限公司

首页 > 科学研究 > 科研平台 > 正文

形式验证方向

来源：数学与信息科学系时间：2016-05-24

1、学科负责人情况

姓名

赵光峰

性别

男

专业技术职务

教授

是否

兼职

否

出生年月

1964.2

定职时间

学历学位情况简介（包括毕业时间、学校、专业）

博士研究生年月毕业工作单位(至系所)

威澳门尼斯人官网进入we数学与信息科学系

主要研究方向

形式验证方向

本人2010年1月至2015年12月科研情况

汇

总

在国内外重要学术刊物上发表论文共 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）

目前承担主要项目

威澳门尼斯人官网进入we管理信息系统研发

威澳门尼斯人官网进入we

数据库驱动的网络信息系统通用开发平台

形式化方法研究与实现

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、成果介绍

应用数学学科系统可信性自动验证中心完成了与西南交通大学研究院签订的《形式化方法研究与实现》横向课题项目，利用西南交大可信验证实验室证明器完成了进行自动验证和定位错误的接口实现以及自主知识产权形式化软件的需求研究。