Full Professor, Functional Programming division, Deputy Head of Department, Computer Science and Engineering.
My twitter profile says: Computer scientist, Haskell hacker, catalyst of research ideas, likes to connect the big picture with formal details, software &...