Meng Wu (邬萌) joined Ant Financial(Shanghai) in July 2019, to work on blockchain safety and security. He earned a PhD in Computer Engineering at Virginia Tech, advised by Prof. Chao Wang. He received a B.S. degree from Shanghai Jiao Tong University, China. His research is to utilize formal methods and program analysis techniques to improve software safety and security.


2014-2019 Ph.D. in Computer Engineering, Virginia Tech

2017-2018 Visiting Student at Department of Computer Science, University of Southern California

2008-2012 B.S. in Electric Power Engineering and Automation, Shanghai Jiao Tong University


[FMCAD 19’] Meng Wu, Jingbo Wang, Jyotirmoy Deshmukh and Chao Wang, “Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems” [PDF]

[PLDI 19’] Meng Wu and Chao Wang, “Abstract Interpretation under Speculative Execution” [PDF]

[ISSTA 18’] Meng Wu, Shengjian Guo, Patrick Schaumont, and Chao Wang, “Eliminating timing side-channel leaks using program repair” [PDF]

[FSE 18’] [Distinguished Paper] Shengjian Guo, Meng Wu, and Chao Wang, “Adversarial symbolic execution for detecting concurrency-related cache timing leaks” [PDF]

[FSE 17’] Shengjian Guo, Meng Wu, Chao Wang, “Symbolic Execution of Programmable Logic Controller Code” [PDF]

[DAC 17’] Meng Wu, Haibo Zeng, Chao Wang and Huafeng Yu, “Safety Guard: Runtime enforcement for safety-critical cyber-physical systems” [PDF]

[NFM 16’] Meng Wu, Haibo Zeng, Chao Wang, “Synthesizing Runtime Enforcer of Safety Specification under Burst Error” [PDF]

[CAV 16’] Hassan Eldib, Meng Wu, Chao Wang, “Synthesis of Fault-Attack Countermeasures for Cryptographic Circuits” [PDF]



20F Tower A, 838 S. Huangpi road Huangpu District Shanghai 200025