The Information Systems Group stands at the heart of computing and related disciplinary activity at Oxford, bringing together research on databases, knowledge representation formalisms, and automated reasoning.
Prof. Georg Gottlob, Prof. Michael Benedikt, and Dr. Dan Olteanu lead ISG's pioneering database research.
Dr. Boris Motik and Prof. Ian Horrocks conduct research into knowledge representation formalisms and automated reasoning, with a focus on description logics and constructive reasoning algorithms.
Weekly ISG Seminars take place every Tuesday at 11:30 during term time. If you would like to present your work, get in touch with Michael Benedikt.