Welcome to my homepage! I got a Ph.D from the School of Mathematical Sciences in Peking University (PKU). I am also a member of the FLINT research group in Yale University. My advisors are Zongyan Qiu (PKU) and Zhong Shao (Yale).
I successfully defended my thesis on 3rd June, 2014.
My reseach interestes are in the area of programming language and formal methods. In particular, I am interested in verifying crazy concurrent programs. Privously, we verified the Scalable Synchronous Queue, which is a tricky concurrent shared memory algorithm adopted in Java 6.
Recently, I am especially interested in distributed concurrency and its application. I am actively building new theories for distributed concurrent models. I am also trying to formalize and verify problems that related with relaxed memory models.
Sept. 2009 to Jun. 2014, Ph.D in Applied Mathematics, Peking University.
Sept. 2011 to Aug. 2013, Visiting Assistant in Research, Yale University.
Sept. 2005 to Jun. 2009, BS in Applied Mathematics, Wuhan University.