David Rydeheard

Home

Publications

Botany

Research Group

Contact

Links

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

Publications are arranged according to subject.

Evolutionary systems

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.

Research group

I am a member of the Mathematical Foundations Group which is part of the Formal Methods Group.

The Mathematical Foundations Group website is a useful resource for our seminars, for links and information about the group.

Some useful links

The 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.

Botany

The author's work in botanical fields can be found on the following websites.

1. Angiosperm Phylogeny Chart website

An 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 floras

The 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.

Finding me

  • Room 2.111 in the Kilburn Building.
    Address: School of Computer Science, University of Manchester, Oxford Road, Manchester M13 9PL United Kingdom.
  • e-mail: david @ cs.man.ac.uk
  • Telephone: +44 161 275 6164

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:

Contact the Website Administrator with comments or queries about this website. All material copyright ŠThe University of Manchester. Last update Aug 2009.