University of Leicester

computerscience

RESEARCH STUDENT — Graham Oliver

Postgraduate Student in Computer Science
G1Computer Science Building
Department of Computer Science,
University of Leicester,
University Road,
Leicester,
LE1 7RH.

T: +44 (0)116 252 3904
F: +44 (0)116 252 3915
E: G.Oliver@mcs.le.ac.uk

Research

Automata, structures and logic: A structure presented by finite automata is said to have an automatic presentation. In particular, these structures have decidable first order theory. I have been looking at groups and semigroups - classifying when they have such a presentation, and investigating consequent properties.
Publications and Talks

See also:

Supervisor

Prof Rick Thomas

Links

Warwick Algebra Seminars

Societies

Conferences

General

Other Links

| [University Home]|[Faculty of Science]|[MCS Home]|[CS Home]||[University Index A-Z]|[University Search]|[University Help]|

Author: Graham Oliver (G.Oliver@mcs.le.ac.uk), T: +44 (0)116 252 3904.
University of Leicester October 2002. Last modified: 1st November 2005, 12:30:57.
CS Web Maintainer. Any opinions expressed on this page are those of the author.