John Hughes (landing page)

[Professor]
Links:

Functional programming enthusiast, Haskell design committee member and co-Chair, property-based testing evangelist, QuickCheck co-inventor, co-founder of Quviq AB. ACM Fellow “for contributions to software testing and functional programming.”