个人简历

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