Constantine Theocharis

I am a PhD student at the University of St Andrews, working on dependent type systems for low-level programming. I am supervised by Edwin Brady.

My academic interests include (but are not limited to) type theory, semantics, category theory, internal reasoning, low-level verification, compiler design, elaboration.

GitHub ⋅ Mastodon ⋅ LinkedIn ⋅ ORCID ⋅ St Andrews