A member of the Computing group at Kent till recently, I have focussed on functional programming languages, dependent types, and type theory in general, as well as refactorings in my research (Haskell, Idris, among other languages). I was supervised by Simon Thompson.