I'm now a PhD student in Computer Science Department of Yale University. My academical interests are programming languages, type, and analysis.

New Haven, CT, United States