Brief Biography
I have been at the Department of Computing Science,
I have a BSc. from the University of Stirling, and a
PhD. from the University of St. Andrews.
My PhD thesis: The Imperative Implementation of Algebraic Data Types, was supervised
by Dr. Roy Dyckhoff. I am a
Fellow of the Royal Society of
Edinburgh, a Fellow of the Institution of
Electrical Engineers and a Fellow of the British
Computer Society. I was awarded an OBE for service to computer
science in the 2011 New Years Honours List.
I have had short spells in
industry at British Ship Research Association and Burroughs Computers, and I
was a visiting scientist at DEC SRC (Digital Equip. Corp. Systems Research
Centre) in California, and a short-term BT Research Fellow at the BT Labs at Martlesham. In the distant past I was a tutor for the Open
University Technology course T101.
I was chair of the UKCRC
(UK Computing Research Committee) 2008-2010 and I was a member of the Scottish
Science Advisory Committee, which reports to the Scottish Executive, for five
years. I am a member of TOP (Technical Opportunities Panel) of the EPSRC and
secretary of the Adam Smith club. I am currently chair of the BCS Academy of
Computing Research Committee.
I have been external
examiner for computer science degrees at University of Edinburgh, University
College Cork, Ireland, University of St. Andrews and
I am married to David and we run for Westerlands
Cross Country Club; I play a bad violin in a quartet with this lot.