Professor, avdelnignen för Funktionell programmering, prefekt, Institutionen för data- och informationsteknik.
Datavetare (med bakgrund inom fysik och matematik), Haskell-programmerare, forskningsidékatalysator, gillar att koppla helhetsbilden till formella detaljer, förkämpe för programvaru- och...