Personal Background
- I gained a B.Sc.(Hons) Degree in Mathematics and Computer
Science in 1983, an M.Sc. Degree in Systems Design in 1984, and
a Ph.D. in Computer Science in 1987 (title:
``Temporal Logics for Abstract
Semantics'',
all from the University of
Manchester
- From 1986 until 1993, I worked within the
Department of Computer
Science
at the University of
Manchester as a Research Associate on various UK and European
research projects (funded by Alvey, SERC, and Esprit).
- In April 1993, I moved to the Department of Computing (as it was
then; it is now the Department of Computing
and Mathematics), within the
Manchester Metropolitan
University, as a Principal Lecturer. In
1995 I became a Reader and, in 1997, I was appointed Professor
of Logic and Computation.
- In January 2001, I moved to the University of
Liverpool
to become Professor of Computer
Science within the Department of Computer
Science
and head the
Logic and
Computation
research
group.
In case you're wondering where Liverpool and Manchester are, look
here