|
|||||
|
Welcome to my homepageResearch in ComputingMy 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.
PublicationsHere is a full and up-to-date publication list. Otherwise you may access my publications according to subject: Runtime verification and specification miningLogical and automata structures, and associated methodologies, to support runtime verification and specification mining. For details, see the Runtime Verification and Specification Mining webpage. Evolutionary systemsModelling and analysis of evolutionary computational systems. Details and publications may be found on the Evolution webpage. Reactive and dynamic systemsWe consider various forms of "reactivity" in computation and methods for their analysis. On the Reactive Systems webpage there are papers on the analysis of dynamic networks (modelled as concurrent systems) and on reactive grammars and automata. Logics and semantics of computationA list of papers on logics and semantics of computation is available on the Logics and Semantics Webpage. Computational Category TheoryComputational 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 botanyMy interest in botanical subjects and natural language processing is evident in The Manchester Computational Flora Project. 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 WoodOlav'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. Contacting me
|
Contact the
Website
Administrator with comments or queries about this website.
All material copyright ŠThe University of Manchester.