In 1984, Hughes received his
Doctor of Philosophy (PhD) from the
University of Oxford for the thesis "The Design and Implementation of Programming Languages". Hughes does
research in the field of
programming languages. He is a member of the
functional programming group at Chalmers, and has written many influential research papers on the subject, including "Why Functional Programming Matters". Much of his research relates to the language
Haskell. Hughes is one of the developers of the
QuickCheck library, and a cofounder and CEO of QuviQ, which provides QuickCheck software and offers classes in how to use it. In 2016, he appeared in the
popular science YouTube channel Computerphile explaining functional programming and QuickCheck. ==Recognition==