Badges
Certifications
Work Experience
fairtomiddlings1 has not updated employment details yet.
Education
University of Kent at Canterbury
Computer Science, PhD• September 1990 - January 1994
A compiled functional language with a Martin-L"of Type System. An attempt to implement type theory as a programming language - the vernacular of the computer programmer - rather than as a proof assistant. Awarded in 1997.
Staffordshire University
Computer Science, BSc• September 1986 - July 1990
Computing Science - usual stuff. Included a year in industry, which I spent in Munich, Germany, validating Ada compilers.
Links
Portfolio
https://andrew-douglas.co.uk/Skills
fairtomiddlings1 has not updated skills details yet.