I have got my Ph.D. degree in Computer Science from Cornell University (conferral date: Feb 2010). I was a member of the Applied Programming Languages group, and my thesis committee members were Prof. Andrew C. Myers, Prof. Dexter Kozen, and Prof. David P. Williamson. My research interests are programming languages and compiler techniques for software extensibility, reliability, security, and performance.Now I am a Software Engineer at Square Inc., working on the payment systems.
I was a Research Scientist at Facebook Inc., from Aug 2009 to Aug 2012. I have been working on the HipHop PHP compiler, mobile performance, and distributed databases.