• University of New South Wales (UNSW), Sydney, Australia
     Ph.D. in Computer Science, July 2016
     Supervisor: Prof. Jingling Xue
     Thesis: Understanding and Analyzing Java Reflection
    
• Northwestern Polytechnical University (NPU), Xi'an, China
     M.Eng in Computer Science, July 2012
     Advisor: Prof. Yian Zhu
     Thesis: A Self-healing Framework for Operating System Hang Failure
    
• Northwestern Polytechnical University (NPU), Xi'an, China
     B.Eng in Software Engineering, July 2010
     Advisor: Prof. Chunyan Ma
     Thesis: Constructing Fault Trees from AADL Models for Safety-Critical Systems