I am a PhD student studying mathematical logic in the Computer Science department of the University of Bath.
My supervisor is David Pym, and I am working towards a theory of representation for general families of 'object-logics' within (a) formal, type-theoretic, meta-logic(s). The work involves a mixture of proof- and model-theoretic investigations, within a categorical framework, and has potential applications in computational logic.
I share an office and it is currently 1W 2.26.
You can email me at mark
My academic publications can be found here.
My academic background can be found here.