Welcome

I am a postdoc at the Department of Logic, Institute of Philosophy, Czech Academy of Sciences. My supervisor is Vít Punčochář.

My research is at the intersection of math, philosophy, and linguistics. I am particularly interested in applying the mathematics of category theory and type theory to traditional issues in philosophy and linguistics.

Much of my research to date connects in some way to modal logic and modal (dependent) type theory. Check out Research for more!

In 2022, I defended my Ph.D. in Logic, entitled “The Natural Display Topos of Coalgebras,” at Carnegie Mellon University. My advisor was Steve Awodey. Until recently, I worked with Ansten Klev at the CAS.

I completed my M.S., entitled “Montague’s Intensional Logic as Comonadic Type Theory” at Carnegie Mellon in 2017. I completed a bachelor’s degree in Linguistics and Mathematics at Harvard University in 2013.

Contact: czwanzig@alumni.cmu.edu