I graduated with a B.Sc. and a Ph.D in Pure Mathematics from the University of Sheffield, with a Ph.D thesis on General Topology. Later I obtained an M.Sc in Systems Design from the University of Manchester and was a Research Associate there until my appointment as a lecturer at º¬Ðß²ÝÊÓƵ. I have now retired from lecturing but continue to do research and supervise projects. My research interests are in theoretical computer science and mathematics.
- Distributed Computing
- Graph Theory
- Non-classical logics
- Theory of Computation