I received a Ph.D. degree in Computer Science from Institute of Software, Chinese Academy of Sciences in 2009. Previously I received a B.S. degree in Mathematics from Tsinghua University in 2003. Now I work at as an assistant research professor in Professor Jian Zhang's group.
My research field is program analysis. My current goal is to build an advanced static analyzer that has low false positive rate.
I'm working on the Clang project.