王曦，女🫰🏽，2012年6月博士畢業於同濟大學計算機軟件與理論專業🤟🏽，獲工學博士學位。2012年9月至2019年6月為江西理工大學信息學院教師、碩士研究生導師🚽。2019年6月至今為熊猫体育計算機學院教師。
主要從事模型檢測👨🏻、高可信系統、形式化方法與技術、區塊鏈、網絡信息系統的安全性分析與驗證評估等理論與應用研究。是《計算機學報學報》、《電子學報》（中文版）🍙、《電子與信息學報》（EI源刊）等期刊的評審專家。
在學術研究上，近年來在《計算機學報》🤴、《電子學報》、 《鐵道學報》等行業一級學報及國際國內學術刊物上發表論文21篇，其中本人為第一作者14篇🧗🏿♀️，EI收錄10篇；CSCD核心庫論文11篇，出版專著一部🛀🏽。縱向課題🦿：主持國家自然科學基金項目⛹🏼♂️、省自然科學基金項目🙋♂️、省教育廳項目、江西理工大熊猫級課題、熊猫体育校級課題共8項，以第一參與人身份承擔國家自然科學基金項目和省自然科學基金項目😠、省教育廳項目共3項🖖🏿，申請專利一項，參加國家自然科學基金項目、國家“十二五”科技支撐計劃重大項目、國家“十一五”科技支撐計劃重大項目🥱、鐵道部科技研究開發計劃重點課題等項目共12項💪。橫向課題：主要負責了6項橫向課題的研究⛴。
