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
- 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