I am working in Software Verification and Validation Group in The University of Texas at Austin now, working on automatic program repair. We build tools to automatically repair faulty programs.
Before that, I worked in Software Evolution and Analysis Lab (SEAL) in The University of Texas at Austin, working on automatic program transformation and static analysis.
I had an internship in Paypal Risk Data Science Group working on a Machine Learning platform, I worked on an automatic decision support system in Schlumberger, Oil Service Company in Houston in 2013, and I worked in Morgan Stanley algorithm group for automatic stock trading system.
Personally, I am an zealot in software desi...