Non-Tutorial Fellow and Professor of Computer Science

Further information

Michael Benedikt


My teaching is in the field of computational logic and data management.  Though currently on extended research leave, I remain an active participant in the Computer Science community of the College and University.


The foundation of my work has been computational logic and its applications.

The main focus of my research today concerns data management (e.g. managing and querying Web data, querying social networks, integrity constraint development and management); computational logic and its applications to databases and verification; model theory; theoretical computer science.  Prior to joining the University of Oxford, I was Distinguished Member of Technical Staff at Bell Laboratories and visiting researcher at Yahoo! Labs.

Selected Publications 

Publications in my field are fast-moving, with many papers coming out each year.  For an up-to-date list of my publications, please see