University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

Matthijs Vákár

Personal photo - Matthijs Vákár
Matthijs Vákár
Doctoral Student
matthijs.vakar at magd ox ac uk

Wolfson Building, Parks Road, Oxford OX1 3QD

Interests

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.

Links

Personal Home Page

Info

Themes

Activities

Supervisor

Manage publications

SHARE THIS: