Profile Image

I'm a first year PhD student (unless it's after Spring 2019) at the University of Washington, advised by Emina Torlak. I completed my undergraduate in Math and CS at the University of Texas at Austin, advised by Isil Dillig. My research interests include program synthesis and verification, especially when applied to the systems domain.

Outside of the lab, I'm a huge fan of games (check out my blog if you are too). I also love playing Ultimate Frisbee and Volleyball, longboarding, and posing with vending machine drinks in Japan (pictured above).

rss facebook twitter github gitlab youtube mail spotify lastfm instagram linkedin google google-plus pinterest medium vimeo stackoverflow reddit quora quora