Matthijs Vákár

Matthijs Vákár

Doctoral Student

Student, Magdalen College

E: matthijs.vakar at magd ox ac uk

Wolfson Building, Parks Road, Oxford OX1 3QD

Themes:

• Foundations, Logic and Structures
• Information Systems
• Programming Languages

See Also:

• Personal Home Page

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.

Activities

• Machine Learning
• Game Semantics and its Applications
• Functional Programming
• Quantum Group

Supervisor

Samson Abramsky