Professor, avdelningen för Funktionell programmering, proprefekt, 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...