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.
Abstractly, my interests are:
- Aesthetics and Design.
I aspire to understand and expose the structure of design problems.
- Category Theory.
I conjecture that good design is about universality.
- Programming paradigms.
Can we accurately express the essence of each of the different paradigms?
- Programming Interfaces.
It is time to move beyond serialised, text-based representation of programs.
A selection of my current projects:
- Automatic Semantics.
I am working on a general technique for deriving finite denotations of programs and formulae given a predefined semantics.
- Graphical User Interfaces.
I am architecting a framework that enables development of graphical user interfaces through the method of progressive enhancement.
You can contact me at firstname.lastname@example.org.