I am a first-year Computer Science PhD student at UC Santa Barbara , studying program verification and synthesis. I am fortunate to be advised by Prof. Yu Feng .
I received my undergraduate degree from Vassar College, and my M.S. from Yale University.
Email / GitHub / LinkedIn