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.
I aspire to understand the essential structure of design problems. I wish to enable the development of software on a very small code base, close to theory, with well defined semantics and ultimately a better user experience.
I am currently working on
You can contact me at firstname.lastname@example.org.