OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
The Information Systems group carries out world leading research in Database Theory, Knowledge Representation and Reasoning, Computational Linguistics, and Spatial Reasoning
Studentships Fully Funded D.Phil Studentship Knowledge Representation and Reasoning Group
faculty
Samson Abramsky | Michael Benedikt | Stephen Cameron | Bob Coecke | Georg Gottlob | Ian Horrocks | Stephan Kreutzer | Thomas Lukasiewicz | Dan Olteanu | Vasile Palade | Stephen Pulman | Irina Voiculescu
Vince Barany | Bob Coecke | Bernardo Cuenca Grau | Yevgeny Kazakov | Boris Motik | Laura Rimell | Rob Shearer | Ib Holm Sorensen
students
Dmitri Akatov | Julian de Hoog | Jiewen Huang | Clemens Ley | Bruno Marnette | Héctor Pérez-Urbina | Rob Shearer | Quoc Huy Vu
support
Ib Holm Sorensen
current projects
COMPANIONS | ConDOR | HermiT | LOGO | Parsing of Biomedical Text | RInO | Robot Football | Schema Mappings and Automated Services for Data Integration and Exchange | Wolfson Award
completed projects
MayBMS | Robotic Search and Rescue | SPROUT
activities
Computational Linguistics | Database Theory | Knowledge Representation and Reasoning | Machine Learning | RoboCup 2D | Spatial Reasoning