Leeds University
University of Leeds
Ph.D., Computer Science, 1985 — 1989
Thesis: The Specification and Simulation of Synchronous Concurrent Systems.
This thesis is concerned with the development of theoretical ideas and a practical toolset for the specification and simulation of both the user and the implementation levels, the mapping of streams between levels, and the automatic test of implementations against their specifications. In addition, in the sections on language definition, we introduce a formal classification of text processing, language processing, and compilation.
University of Leeds
B.Sc., Computational Science with Honors, 1981 — 1984