Welcome to my homepage
Research in Computing
My research interests lie in the mathematical analysis of computation, including the structure and development of computational systems, their logics and semantics, using mathematical techniques drawn from category theory, logic and topology.
Amongst the applications are system specification, system design methodologies, programming language semantics, functional programming, type theory, automated reasoning, logics of computation and the analysis of computational behaviour, and models of computation systems.
I am also involved in research in mathematical approaches to natural language semantics and applications to botany.
Research students: I welcome applications from potential Research Students (PhD or MPhil) in any of the areas above. Please send me an email message directly if you are interested, or contact me through the Research Student page, which also has links to the application procedure.
Publications are arranged according to subject.
We have recently undertaken work in the modelling and analysis of evolutionary computational systems. Details and publications may be found on the Evolution Webpage.
Logics and semantics of computation
A list of papers on logics and semantics of computation is available on the Logics and Semantics Webpage.
Computational Category Theory
Computational Category Theory: The Computational Category Theory system implements constructions in category theory in the programming language Standard ML. To access a full description of this project and the programs, go to the project page.
Natural Language Processing and applications to botany
My interest in botanical subjects and natural language processing is evident in The Manchester Computational Flora Project.
The Mathematical Foundations Group website is a useful resource for our seminars, for links and information about the group.
Some useful linksThe Categories website
The Categories webpages support the "categories" distribution list and contain information for category theorists, including archive material, conferences, publications and other useful links.The Formal Methods website
The Formal Methods webpages have a large volume of material including recommended books, publications, guide to conferences etc.
BotanyThe author's work in botanical fields can be found on the following websites.
1. Angiosperm Phylogeny Chart websiteAn Angiosperm Phylogeny Chart, depicting a recently developed molecular phylogeny of flowering plants, is available with accompanying material. A Chart of Fern Families is also available.
2. The linguistic analysis and processing of florasThe Manchester Computational Flora Project involves the analysis and processing of floras (descriptions of plants in a particular area and/or group). We have provided a semantic analysis of the terms used in floras, including those describing variation and those describing continuous quantities (e.g. colour, shape etc.), and have implemented computer tools for this analysis.
3. Olav's Wood
Olav's Wood is on the island of South Ronaldsay in Orkney, off the north coast of Scotland. The woodland has been developed over many years and is now a haven for wildlife as well as an interesting horicultural exercise, with trees and shrubs from many parts of the world growing here. The website describes the varied woodland and also contains descriptions of the plants, animals and birds of the woodland.
Micro-CV: Born in Nottingham. Education: Cambridge University (Maths MA), University of Edinburgh (Computer Science PhD). Currently at The University of Manchester, School of Computer Science.
Websites by the author:
Administrator with comments or queries about this website.
All material copyright ŠThe University of Manchester. Last update