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.

Sessions

Creative Commons License

© 2013 Microsoft. Except where designated as licensed by
Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 License,
Microsoft reserves all rights associated with the materials on this site.