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.

I come accross all kinds of useful tools as well: Emacs, Linux, etc, and I am just starting out with blogging: this site is built with Emacs Org mode.

1 Blog

2 Sitmap