About

I am an undergraduate student pursuing Computer Science at University of Colorado, Boulder.

I am currently working as a research assistant at the Programming Languages and Verification Lab supervised by Prof. Bor-Yuh Evan Chang. 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).

Contacts

Updates