王曦，女，2012年6月博士结业典礼于同济zoty中欧体育计算机软件与理论项目设置，获工学博士学士认证。2012年9月至2019年6月为江西理工zoty中欧体育信息zoty中欧体育体育教练、硕士高级会员体育导师。2019年6月至今为zoty中欧体育计算机zoty中欧体育体育教练。

主要从事模型检测、高可信系统、形式化方法与技术、区块链、网络信息系统的安全性分析与验证评估等理论与应用社区。是《计算机学报学报》、《电子学报》（中文版）、《电子与信息学报》（EI源刊）等期刊的评审专家。

在学术社区上，近年来在《计算机学报》、《电子学报》、 《铁道学报》等行业一级学报及国际国内学术刊物上发表社区21篇，其中本人为第一作者14篇，EI收录10篇；CSCD核心库社区11篇，出版专著一部。纵向社区：主持国家自然科学基金项目、省自然科学基金项目、省教育厅项目、江西理工大zoty中欧体育级社区、zoty中欧体育校级社区共8项，以第一参与人身份承担国家自然科学基金项目和省自然科学基金项目、省教育厅项目共3项，申请专利一项，参加国家自然科学基金项目、国家“十二五”科技支撑计划重大项目、国家“十一五”科技支撑计划重大项目、铁道部科技社区开发计划重点社区等项目共12项。横向社区：主要负责了6项横向社区的社区。