I have a bachelor degree in Software Engineering from Wuhan University, China and a bachelor degree in Computer Science from Eastern Michigan University. In Fall 2012, I started my PhD program in Computer Science at Western Michigan University.


My research focus on formal method. Most of my work primary focus on developing formal method to improve software reliability and security. My research work is advised by Dr. Zijiang Yang at Computer Science Department, WMU.

Recent Work

Symbolic Execution on TSO Memory Model

Keyword: Cloud9, Relaxed Memory Model

Collaborative: VACCS - Visualization and Analysis for C Code Security

Keyword: Software Vulnerabilities, Splint, Valgrind

Get In Touch

Welcome to get in touch with me

  • Address

    Computer Science Department
    4601 Campus Drive
    Kalamazoo, MI 49008
    United States
  • Phone

  • Email