PhD position

[N Ghani <ng13@mcs.le.ac.uk>]

                University of Leicester, Great Britain

                  Announcement of PhD Studentship in

                       Categorical Rewriting

A PhD student is sought for three years from January 2000 to work
under the supervision of Dr Neil Ghani on a UK EPSRC-funded project
``Categorical Rewriting''

A brief description of the project is included below. Further details
can be obtained by emailing Dr Ghani at ng13@mcs.le.ac.uk

Project Description
-------------------

Term Rewriting Systems (TRSs) are widely used throughout computer
science as they form an abstract model of computation while retaining
a relatively simple and concrete syntax. However, this concreteness
has led to a tendency to concentrate on the technical details of
specific problems to the detriment of a wider understanding of the
subject. 

This project aims to address this problem by developing a categorical
semantics for rewriting. The project builds on recent work by Dr Ghani
which showed that TRSs can be regarded as generalised algebraic
theories and consequently that TRSs can be modelled as enriched
monads. We want to extend this reasearch in a number of
directions, eg the development of the semantics to cover more complex
notions of rewriting and the application of our research to 
open problems in rewriting.