I am a doctoral student in computer science, under supervision of Samson Abramsky, in the Quantum Group. My main research interests are in the general areas of category theory, logic, semantics of programming languages, Bayesian statistics and machine learning, probabilistic programming and (ir)rationality. I am very grateful to the Clarendon Fund, the EPSRC, and the Department of Computer Science, who have been willing to support me during this endeavour. I am also a member of Magdalen College.

Recently, I spent some time interning at Microsoft Research Cambridge, working on build systems with Nick Benton, which was a real treat.

Before, I studied some linguistics, natural language processing, and machine learning, and did related work as an intern in the Cambridge Department of Theoretical Linguistics with Jeffrey Watumull, in the Cambridge Computer Lab, and at a company called Linguamatics.

I also was a master's student in pure mathematics at St John's College Cambridge, where I was supervised by Peter Johnstone for my thesis.

Before that, I did undergraduate degrees in mathematics and physics in Utrecht, where Erik van den Ban supervised me during my thesis.

If you're ever in the Netherlands, you could consider visiting my hometown, Amersfoort, which mostly seems to be characterised by its past glory as an important brewery town in the middle ages, as well as by what must be one of the world's most popular boulders. It's actually quite a lovely medieval town.


Matthijs I L Vákár
University of Oxford
Department of Computer Science
Wolfson Building
Parks Road
Oxford OX1 3QD, UK

Office: 207
Tel: +44 (0)783787975 <- add a four at the end
Email: matthijs.vakar at magd ox ac uk
Matthijs Vákár