Personal profile

Research interests

My research interests include programming language design, compilers, type theory, and ergonomic models of computation. I am interested in the usage of category theory, homotopy theory and toposes to organise and classify hierarchies of computational models.

I am currently looking into the interplay between convenient languages (e.g. calculus of inductive constructions) and low-level languages (ones that model memory and ownership), hoping to derive ways of transporting programs from one to the other to better separate business logic from implementation detail.


Dive into the research topics where Konstantinos Theocharis is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles