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