Skip to main content
University of Oxford Department of Computer Science
Search for
Search
Toggle
Main Menu
Home
Admissions
Research
News & Events
About Us
(current)
Alumni
Our Students
Innovation
Home
About Us
People
Research
Matthijs Vákár
Matthijs Vákár
Matthijs
Vákár
Researcher
Leaving date: 31st August 2018
Themes:
Foundations, Structures, and Quantum
Artificial Intelligence and Machine Learning
Programming Languages
See Also:
Personal Home Page
Interests
Please see my
personal website
.
Activities
Game Semantics and its Applications
Functional Programming
Quantum Group
Supervisors
Samson Abramsky
Luke Ong
About Us
People
Faculty
Research
Students
Admin & Support
Vacancies
Women at Oxford
History
Contact Us
Back to Top