I am a PhD student in the Mathematically Structured Programming Group at the University of Strathclyde,
under the supervision of Clemens Kupke and Neil Ghani.
My interests are:
- Aesthetics and Design.
- Category Theory.
I conjecture that good design is about universality.
- Programming paradigms.
Can we accurately express the essence of the paradigms?
- Programming Interfaces.
It is time to move beyond serialised, text-based representation of programs.
I am currently working on:
- Universal dialgebra.
- A query- and stylesheet language for algebraic datatypes.
You can contact me at email@example.com.