I am a PhD student at Northeastern University studying logic in computation and programming languages. I am part of the Programming Research Lab, and am advised by Dr. Chris Martens. My research discipline lies in the studying of logics, and their applications to computing via the propositions-as-types view of programming language design. Currently, I am finding a computational interpretation for epistemic modal logic.