Doktorand Inst. för datavetenskap Umeå universitet 901 87 Umeå Tel: 090-786 67 91 Fax: 090-786 61 26 Epost: Jonny.Pettersson@cs.umu.se Rum C442 på fjärde våningen i MIT-huset