he/him
PhD Student in Logic, Computation, and Methodology in the Philosophy Department at Carnegie Mellon University. My main area of study is Modal Logic, with a focus on Simplicial Semantics and applications to Distributed Computing.
This is a page not in the menu. You can use markdown in this page.