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...