王曦,女,2012年6月博士毕业于同济大学计算机软件与理论专业,获工学博士学位。2012年9月至2019年6月为江西理工大学信息学院教师、硕士研究生导师。2019年6月至今为广东石油化工学院计算机学院教师。
主要从事模型检测、高可信系统、形式化方法与技术、区块链、网络信息系统的安全性分析与验证评估等理论与应用研究。是《计算机学报学报》、《电子学报》(中文版)、《电子与信息学报》(EI源刊)等期刊的评审专家。
在学术研究上,近年来在《计算机学报》、《电子学报》、 《铁道学报》等行业一级学报及国际国内学术刊物上发表论文21篇,其中本人为第一作者14篇,EI收录10篇;CSCD核心库论文11篇,出版专著一部。纵向课题:主持国家自然科学基金项目、省自然科学基金项目、省教育厅项目、江西理工大学校级课题、广东石油化工学院校级课题共8项,以第一参与人身份承担国家自然科学基金项目和省自然科学基金项目、省教育厅项目共3项,申请专利一项,参加国家自然科学基金项目、国家“十二五”科技支撑计划重大项目、国家“十一五”科技支撑计划重大项目、铁道部科技研究开发计划重点课题等项目共12项。横向课题:主要负责了6项横向课题的研究。