Michael Benedikt
I recently joined Oxford as Professor of Computing Science sometime in 2007. Prior to that, I worked in the Network Data and Services Research Department at Bell Laboratories.
E-mail: Michael.Benedikt@cs.ox.ac.uk
Over the past couple years I've worked on topics in databases and data exchange (XML, integrity constraints, geographic databases), and in language-based approaches to software development. You can find more about prior projects on my Bell Labs projects page . I've also worked on various connections between database theory and mathematical logic (see my publications page ).