At a Glance

At a Glance

I am a Computer Science Ph.D. student in the UToPiA group at UT Austin. My interests include program analysis/verification, synthesis, and security.

Butcher Block Counter

Made this before I moved to Austin because my apartment had 1 foot of counterspace and not much storage space.