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