▁Bur ma , ▁Cambridge , ▁East ▁Ang lia ▁and ▁Edinburgh , ▁being ▁appointed ▁to ▁a ▁senior ▁lect ures hip ▁at ▁the ▁University ▁of ▁Edinburgh ▁in ▁ 1 9 8 3 . ▁He ▁was ▁a ▁visit ing ▁professor ▁at ▁the ▁University ▁of ▁Pennsylvania ▁during ▁ 1 9 8 3 – 8 4 ▁and ▁was ▁appointed ▁to ▁a ▁professor ship ▁in ▁computer ▁science ▁at ▁the ▁University ▁of ▁Glasgow ▁in ▁ 1 9 8 4 . ▁He ▁was ▁head ▁of ▁Department ▁of ▁Comput ing ▁Science ▁from ▁ 1 9 8 6 ▁to ▁ 1 9 9 0 , ▁following ▁which ▁he ▁spent ▁nine ▁months ▁on ▁s abb at ical ▁at ▁IN RI A ▁near ▁Paris ▁working ▁with ▁the ▁O 2 ▁group . ▁At kin son ▁then ▁worked ▁for ▁Sun ▁Mic ros ystem s ▁( at ▁Sun L abs ▁in ▁California ) ▁before ▁moving ▁to ▁the ▁University ▁of ▁Edinburgh ▁in ▁ 2 0 0 1 ▁as ▁Professor ▁in ▁the ▁School ▁of ▁In format ics . ▁▁ ▁He ▁has ▁more ▁than ▁ 1 0 0 ▁publications ▁listed ▁on ▁DB LP . ▁ ▁In ▁ 1 9 9 4 , ▁he ▁was ▁elected ▁as ▁a ▁fellow ▁ ▁in ▁the ▁Royal ▁Society ▁of ▁Edinburgh . ▁ ▁UK ▁e - S cience ▁en voy ▁ ▁A ▁call ▁for ▁applications ▁for ▁the ▁role ▁of ▁e - S cience ▁Senior ▁Research ▁Fellow ▁for ▁the ▁e - S cience ▁Core ▁Program me ▁was ▁issued ▁by ▁the ▁Engineering ▁& ▁Phys ical ▁Sciences ▁Research ▁Council ▁( E PS RC ) ▁in ▁ 2 0 0 5