University of Edinburgh
School Of Informatics
PhD, 1991
CV
London, England, United Kingdom of Great Britain and Northern Ireland
Areas of Specialization
Science, Logic, and Mathematics