cms

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:

• Computer Science Research at Leicester

Supervisor

Prof Rick Thomas

Links

Warwick Algebra Seminars

Societies

• London Mathematical Society
• British Logic Colloquium

Conferences

• BCTCS 2006 (British Colloquium for Theoretical Computer Science)
• PGGTC 2005 (Postgraduate Group Theory Conference)

General

• The Complexity Zoo - all the complexity classes you've ever heard of, and plenty more too!
• Free maths textbooks online
• Finite Automata Simulator
• History of Mathematics Archive (St Andrews)

Other Links

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
CMS Web Maintainer. Any opinions expressed on this page are those of the author.