October 3, 2013
Yes. For my PhD I developed the Quantum IO Monad (available as QIO on Hackage), and more recently I have been developing the Quipper Language, an embedded, scalable functional programming language for quantum computing.
I am a keen Haskell programmer, having used the language since 2001. My dream job would be as a Haskell developer.