I am a CS grad student at the University of Minnesota, interested in programming languages, types, and emoji. I am currently advised by Favonia, working on leveraging types to make program testing more efficient.