I’m a third-year computer science PhD student at 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: "My soldiers are the keys and I have to command them."
- Drama: "Dreams and anguish bring us together."
- Badminton: It's fun!