I am a PhD student in the Computer Science Department at the University of Maryland, College Park, advised by Dr. Mike Hicks. I am a member of the Programming Languages at University of Maryland (PLUM) group. My research focuses on the design, implementation, and verification of secure programming languages.