姓名
王曦
职称
讲师

学科
计算机科学与技术

专业
计算机软件与理论

联系方式
通讯地址：江西省赣州市红旗大道86号江西理工大学信息工程学院
邮政编码：341000
联系电话：**
电子邮件：wang_xi_happy@163.com

研究方向
模型检测、高可信系统的安全性分析与评估

简介
王曦，女，2012年6月博士毕业于同济大学计算机软件与理论专业，获工学博士学位。2012年9月至今为江西理工大学信息学院专任教师，任《电子与信息学报》审稿人。
主要研究领域覆盖形式化方法与技术、高可信系统、安全苛求软件、安全性分析与验证、安全评估、模型检测理论与应用等。
近年来作为项目主要成员曾参与国家自然科学基金项目2项，国家科技支撑计划重大项目3项，省部级项目4项。在《计算机学报》、《电子学报》、《铁道学报》等国内外期刊和会议上发表论文11篇。
目前正在主持承担的在研项目：
1、江西省教育厅2013年度科学技术研究项目“基于模型检测的软件安全需求获取方法研究”（NO.GJJ13412）。
2、江西理工大学博士启动基金资助项目“基于模型检测的软件安全性分析方法研究”。