I’m a third-year computer science PhD student from University of Washington PLSE group, working with Ras Bodik and Alvin Cheung. I want to help end-users to solve programming tasks by synthesizing programs for them.
I'm excited about the following two projects recently:
Fun"So long as you retain your spirit of exploration, surely you shall find your way out. This I believe." --- Map system (From the game Cave Story)
- Piano player: "My soldiers are the keys and I have to command them."
- Badminton player: On my way to be better.
- Drama enthusiast: "Dreams and anguish bring us together." (Sadly, no longer actively involved.)