PhD Candidate
I am a second year PhD student at Boston University. My advisor is Hongwei Xi. As a part of the Principles of Programming and Verification research group, my interests are primarily focused on the development of resource aware programming languages with rich type systems.