Nya Professorer: Installation hösten 2011 - Uppsala universitet

JoaChIm ParroW
Datalogi
anställdes den 27 april 2010 att från och med den 1 maj samma år vara professor
i datalogi vid Uppsala universitet.
Joachim Parrow är född den 25 december 1956 i Uppsala. föräldrar: anders
Parrow och ragna Dahlberg.
Tekn. dr i datorteknik 1986 och docent i samma ämne 1990, båda vid Uppsala
universitet. Gästforskare i edinburgh 1986–89 och därefter arbete vid
swedish Institute of Computer science i Kista. Professor i distribuerade system,
KTh 1994, och professor i datorteknik vid Uppsala universitet 2001.
Gift med förskollärare Christina leibring. Barn amelie (f. 1985), albin
(f. 1988) och amanda (f. 1993).
Tillräckligt utvecklad teknologi kan likna magi. Trollkarlens hatt, mjölnarens
kvarn och sekreterarens dator är alla lika häpnadsväckande för den oinvigde.
Men det finns en viktig skillnad: vi litar på att kvarnens konstruktörer har begripit
hur hjulen ska snurra. Den som använder magi däremot riskerar oväntade
och oönskade resultat då en trollkarl inte alltid är herre över sin konst. På
detta sätt kan man klassa datorer som trolltyg. hackern är vår tids häxmästare
som frambesvärjer fantastiska och förfärande ting utan att förstå dem.
forskning i datalogi behandlar datorers beteende. men exakt vad menas
med ”beteende” och i vilka termer kan det göras begripligt? man vill gärna
tänka på det materiellt: knappar trycks in, lampor tänds, signaler åker genom
ledningar. Eller man kan se det antropomorfiskt: datorn tror, maskinen vill,
systemet surar. men de materiella liknelserna är för begränsade och antropomorfin
för vag för att vara ritningsunderlag. De forskningsproblem jag arbetar
med är att definiera logiska språk och metoder där resonemang om beteenden
blir enkla och precisa. en bärande idé för att hantera stora beskrivningar är att
sammanföra funktionerna i grupper som kan analyseras separat.
157