Michael Benedikt

Michael Benedikt

Supernumerary Fellow in Computer Science; Professor of Computer Science (ULNTF)

Contact information



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  dblp.uni-trier.de

Contact Univ

If you have any questions or need more information, just ask: