David Mestel
Interests
I am now doing a postdoc at the University of Luxembourg.
I am interested in all aspects of the theory of security. My DPhil (with Bill Roscoe) is about information flow; you can find a paper with some of my results here. I have also done some work with Peter Ryan and Arash Atashpendar of the University of Luxembourg on deletion channels (the first of our papers is here), and I am currently working with Andrew Ker and Christie Kin-Cleaves on a problem in steganography. Towards the beginning of my DPhil I worked a bit on the denotational semantics of CSP (in particular showing that rich denotational models can be represented in the traces model using the priority operator); the paper is here.
I am involved in running the British Informatics Olympiad, and I teach at University College.
Before Oxford I read maths at Trinity College, Cambridge. In Part III I wrote an essay (supervised by Oscar Randal-Williams) on algebraic K-theory, which you can read here.