www.cs.ox.ac.uk/people/michael.benedikt/home.html

You are here:

• Home
• People
• Michael Benedikt
• Home

Michael Benedikt

---

My History

  I joined Oxford as Professor of Computing Science sometime in 2007.

  Prior to that, I worked at Bell Laboratories.

  I received my Ph.D. in mathematical logic at University of Wisconsin under the supervision of H.J. Keisler.

---

My Research

 

My main research area is data management. Some data-oriented topics I have worked on include:

• querying Web data (e.g. HTML, XML)
• integrity constraints
• geographic databases
• querying the hidden Web
• querying of social networks
• querying uncertain data
• data cleaning

I also work in theoretical computer science, particularly on the relationship of mathematical logic to computation. My recent work in this general area includes:

• Decidability and complexity of fragments of first-order logic
• Mappings between logics and automata
• Decision problems on automata
• Applications of logic and automata in software verification

    For details, see my publications page , or my DBLP entry .

  [   Professional Activities | Publications ]

  If you are interested in doing a D.Phil in the Information Systems Group at Oxford, please contact me.

  E-mail: Michael.Benedikt@cs.ox.ac.uk