Applications of Category Theory in Computational System Semantics.
Category Theory has been developed as a general framework for algebra, topology and the semantics and structure of logics. It has been widely applied to the design and semantics of programming languages and computational systems. There is a range of projects on offer in this area to students suitably qualified - with a good mathematics background and some knowledge of programming and the design of computational systems. Please contact the author for further details.