I am a junior majoring Computer Science at University of Colorado, Boulder.

Staring 2016 Fall, I work as a Discovery Learning Apprentice at the Programming Languages and Verification Lab supervised by Prof. Bor-Yuh Evan Chang. I join the Fixr project and work with graduate students on Detection of Bugs in Android Apps via Dynamic Callback Analysis (See the initial presentation slides here) and also a Combinator Library for writing test generators and test properties for Android Apps (see ChimpCheck).

I plan to continue doing research in Programming Language after finishing my undergraduate degree.