Andy Gordon

http://research.microsoft.com/~adg   

Andy Gordon is a Principal Researcher at Microsoft Research Cambridge, and is a Professor at the University of Edinburgh.  Andy wrote his PhD on input/output in lazy functional programming, and is the proud inventor of Haskell's ">>=" notation for monads.  He's worked on a range of topics in concurrency, verification, and security, never straying too far from his roots in functional programming.  His current passion is deriving machine learning algorithms from F# programs.