Funded PhD positions
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.