I am a doctoral student in computer science at Worcester Polytechnic Institute. I specialize in utilizing formal methods in software development and security.