I'm a graduate student working under Aws Albarghouthi. My main research interest is program synthesis, with focuses on techniques for improving enumerative synthesis and on lowering the barrier of entry for data analysis tasks.
I made a light-up hat for a course project. Here.
I'm an avid baker, and I've curated a list of recipes that I've used and tweaked over the years. Here.