I am currently working as a research assistant at the Programming Languages and Verification Lab supervised by Prof. Bor-Yuh Evan Chang. My areas of research interest are programming languages, software engineering, and software testing. I am one of the members of the Fixr project and work with graduate students, post-doc scholars, and professors 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).