Research Interests

    Programming languages: semantics, static analysis of programs -

        in particular type systems,  functional programming.

    Formal Proofs: practical use, modelling, type theory, proof assistants.

    Security: information flow security, declassification, language-based

        techniques for enforcement.

I’m currently looking for work/post-doc. I’ll be available from October 2008

and onward. Have a look at my CV (cv.pdf) and a brief research plan (statement.pdf).