I’m a second-year computer science PhD student in the PLSE group at the University of Washington, advised by Ras Bodik and Alvin Cheung. I'm working on program synthesis algorithms and their applications on end-user programming.
Recently I'm involved in the following two projects:
Personal"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."
- Drama enthusiast: "Dreams and anguish bring us together."
- Badminton player: Go for more practice.