Michael Benedikt Michael Benedikt
Professor of Computer Science
Department of Computer Science, Oxford University
Fellow of University College
Department of Computer Science
Office: 355 Wolfson Building
Address: Dept. of Computer Science, Wolfson Building, Parks Road, Oxford OX1 3QD, UK
Tel: +44 (0)1865 273 818 / Fax: +44 (0)1865 273 839
Email: michael.benedikt@cs.ox.ac.uk

  Short Bio

  NEW!   Our book on the interpolation-based approarch to query reformulation is now available at Morgan Claypool! See Morgan Claypool's site for more info .
  NEW!   SPARQLByE: Querying RDF data by example @ VLDB 16 .
  NEW!   Query answering with transitive and linearly-ordered data @ IJCAI 16 .
  NEW!   Query Visible and Invisible Information @ LICS 16 .
  NEW!   A step up in expressiveness of decidable fixpoint logics @ LICS 16 .
  NEW!   EPSRC Established Careeer Fellowship 2015-2020
  NEW!   Combining Existential Rules and Description Logics @ IJCAI 15 .
  NEW!   The Complexity of Boundedness for Guarded Logics @ LICS 15 .
  NEW!   Interpolation with Decidable Fixpoint Logics @ LICS 15 .
  NEW!   Finite Open World Querying with Number Restrictions @ LICS 15 .
  NEW!   Querying with Access Patterns and Integrity Constraints @ VLDB 15 .

Research: 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
  Publications   (see DBLP)

Professional Activities
  Recent Professional Committees: ICDT 17 (Progam Committee Chair), VLDB 17 (Program Committee Member), CSL 16 (Program Committee Member), PODS 16 (Program Committee Member), POPL 15 (External Review Committee Member), Workshop on Logic and Computational Complexity (Steering Committee), Perspectives in Logics Series (Editorial Board), Journal of Computer and System Sciences (Associate Editor), Association For Symbolic Logic (Chair of Committee on Logic in Europe),

  Recent Keynote Talks: Web Age Information Systems (WAIM 2015) , International Workshop on Description Logics (DL 2014) , Alberto Mendelzon Workshop on Management of Data (AMW 2014)

Research Group
  PhD Students: Gonzalo Diaz, Ines Marusic, Benjamin Spencer,
  Postdocs: George Konstantinidis, Fabio Mogavero , Efi Tsamoura,
  Former Members

Last updated in April 2014