A member of the Computing group at Kent, I am focussing on functional programming languages: Haskell, dependent types, and type theory in general: Idris (among other languages), as well as refactorings. I am supervised by Simon Thompson in my current PhD studies.