2012年于西安电子科技大学毕业，并获工学学士学位。同年获免试直接攻读西安电子科技大学博士研究生资格，在导师段振华教授的指导下于2019年6月获得博士学位。

时序逻辑、模型检测、运行时验证、高可信软件

[1] Meng Wang, Zhenhua Duan, Cong Tian: Simulation and verification of the virtual memory management system with MSVL. CSCWD 2014: 360-365

[2] Meng Wang, Zhenhua Duan, Cong Tian, Nan Zhang: Verification of a real time scheduling protocol of safety-critical systems. CSCWD 2015: 286-291

[3] Meng Wang, Cong Tian, Zhenhua Duan, Full Regular Temporal Property Verification as Dynamic Program Execution. ICSE 2017

[4] Nan Zhang, Meng Wang, Zhenhua Duan, Cong Tian, Jin Cui: Implementing MapReduce with MSVL. SOFL+MSVL 2017: 148-167

[5] Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Verifying Full Regular Temporal Properties of Programs via Dynamic Program Execution. IEEE Transactions on Reliability

[6] Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du, Verifying a scheduling protocol of safety-critical systems. Journal of Combinatorial Optimization