I’m a second-year computer science PhD student from University of Washington PLSE group, advised by mighty 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."
- Badminton player: On my way to be better.
- Drama enthusiast: "Dreams and anguish bring us together."