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@comlab.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 ).
If you are interested in doing a D.Phil in
the Information Systems Group at Oxford, please contact me.
|
