I am interested in the application of functional programming techniques to computer architecture. In my Masters project, I looked at the application of theorem provers to hardware design. At the moment I am focusing on the addition of lazy evaluation and memoisation to imperative code via hardware support. I am also the lead on the OpenPiton project, which has seen strong uptake as an open source hardware framework for research.
You can find a copy of my most recent CV here.