出生年月：  1974  年  4  月

学科专业：计算机科学与技术/计算机技术

联系电话：18270746735

讲授课程：

本科生课程： C/C++程序设计，信息隐藏，数字图像处理；Java语言程序设计

研究方向：模型检测、形式化方法与技术、高可信系统的安全性分析与评估

出版著作及代表性论文：

1. 王曦，徐中伟. 基于启发式on-the-fly的扩展TGBA模型检测算法. 计算机学报， 37(12):2519~2529, 2014.（EI检索）
2. 王曦, 徐中伟. 基于启发式SCCs的广义Büchi自动机判空检测算法. 电子学报，40(1): 95-102, 2012.（EI检索）
3. 王曦，徐中伟. 一种基于场景模型的安全性分析算法的研究. 铁道学报，34(11): 67-76，2012.（EI检索）
4. Xi Wang(王曦), Zhong-wei Xu, A novel fault Injection Algorithm for Safety Analysis. 2012 Spring World Congress on Engineering and Technology, 2012.05.26-29, pp180-183,  XiAn, 2012, Paper. （EI检索）
5. 王曦，徐中伟. 基于启发式NDFS的模型检测新算法. 小型微型计算机系统，33(8):  1740-1746，2012.（CSCD核心库）
6. 王曦, 徐中伟. 基于场景分析的系统形式化模型生成方法. 计算机科学，39(8):  136-140, 2012. （CSCD核心库）
7. 王曦，徐中伟，梅萌. 基于模型检测的软件安全性验证方法. 武汉大学学报, 2010, 56(2): 156-160. （CSCD核心库）

主持参与课题及经费：

1、主持在研国家自然科学基金项目 “复杂需求场景驱动的软件安全防护模型检测技术研究”，项目编号：61462034，资助经费为46万元。

2、主持完成江西省教育厅科学技术研究项目“基于模型检测的软件安全需求自动获取方法研究”，项目编号：GJJ13412，2013.1-2014.12，总经费2万元。

3、主持在研江西省自然科学基金项目为“基于场景与故障注入分析的系统安全性设计模型检测研究”，项目编号：20151BAB207035，资助经费为5万元。

5、主持江西理工大学校级课题“基于模型检测的软件安全性分析方法研究”，项目编号： 3401222017，资助经费为5万元。

5、指导2013级网络工程专业本科生成功申报并获批了江西省大学生创新创业教育计划项目“高可信系统安全性保障的模型检测技术研究”，项目编号：201410407046，2014.9-2015.12，总经费2万元。

6、参与在研国家自然科学基金项目“高层次大规模时序逻辑电路可靠性评估方法研究 ”，项目编号：61561024，30万元，排名第二，王曦承担。

7、参与江西省教育厅科学技术研究项目：高层次时序电路可靠性评估方法研究，项目编号：GJJ14429，2万元，排名第二，王曦承担。

科研成果：