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 architectural impacts of Function-as-a-Service applications and how they can be mitigated. I also lead 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.