I am working in Concurrency and Verification lab. My advisor is Prof. Scott Smolka.
    My research focuses on model checking and runtime verification. Please find more details on the Research page.
    Before coming to Stony Brook University, I completed my undergraduate degree in Computer Science at Wuhan University (China).
Photo