- 2013-02-01 I currently have funded PhD positions, not tied to any project. Please email me if you are interested.
- I am very keen to supervise PhD students!
- Please contact me via email with a project proposal and a CV if you wish to pursue a PhD under my supervision.
- Current projects include: a verified filesystem; program verification on top of operational semantics.
I am an expert on many different areas of IT, including programming and system design.Click here to find out more.
All publications to date. See also category publications.