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