Michael Benedikt
Supernumerary Fellow in Computer Science; Professor of Computer Science (ULNTF)
Teaching
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.
Research
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