My HistoryI 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 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
[   Professional Activities | Publications ]If you are interested in doing a D.Phil in the Information Systems Group at Oxford, please contact me.