I am currently a postdoc advised by Prof. Dawn Song at UC Berkeley. I received my Ph.D. degree from Peking University. My research interests include software security analysis and protection, web security, and programing language theory and implementation. Now my research is focusing on provable solutions for software protection which industry is likely to adopt.