Skip to main content

Matthijs Vákár

Personal photo - Matthijs Vákár

Matthijs Vákár

Doctoral Student

E: matthijs.vakar at magd ox ac uk

Wolfson Building, Parks Road, Oxford OX1 3QD


My academic interests range from foundations of physics, via mathematics and computation, to logic and language. In practice, this means that I often end up studying applications of (higher) category theory, which for me is a nice language to see parallels between these different fields. I am working on topics relating to type theory, (higher) category theory, and sheaf theory, studying general notions of semantics.