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 am currently working on
- Universal Dialgebra
- A query language, a schema language and a stylesheet language for semistructured data
- A logic programming language
- Automata for the aforementioned languages