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.
GitHub LinkedIn Email: [email protected]
I’m also fairly into coffee. Check out my notes on various coffee-related things.