University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Michael Benedikt


My Picture

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

  Over the last few years I've worked on topics in databases and data exchange, including: I have also worked in software verification, and in language-based approaches to software construction.

  Much of my work centers on the interaction between computer sciece and mathematical logic.   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