R. John M. Hughes (born (1958-07-15) 15 July 1958 (age 66)) is a computer scientist and professor in the computer science department at Chalmers University of Technology.[1]

Contributions

In 1984, Hughes received his Doctor of Philosophy (PhD) from the University of Oxford for the thesis "The Design and Implementation of Programming Languages".[2]

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".[3] 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.[4]

In 2016, he appeared in the popular science YouTube channel Computerphile explaining functional programming and QuickCheck.[5][6]

Recognition

Hughes was elected as an ACM Fellow in 2018 for "contributions to software testing and functional programming".[7]

See also

Bibliography

References

  1. ^ Hughes, John (2000–2024). "John Hughes". Chalmers University of Technology. Retrieved 14 January 2025.
  2. ^ Hughes, John (July 1983). The Design and Implementation of Programming Languages (PDF) (PhD thesis). University of Oxford. Retrieved 7 November 2018.
  3. ^ Hughes, John (1989). "Why Functional Programming Matters". The Computer Journal. 32 (2): 98–107. doi:10.1093/comjnl/32.2.98. Retrieved 6 May 2010.
  4. ^ Hughes, John (26 September 2018). IOHK – QuviQ Functional Correctness Training. Archived from the original on 14 December 2021. Retrieved 7 September 2019.
  5. ^ Hughes, John (30 November 2016). Functional Programming & Haskell – Computerphile. Archived from the original on 14 December 2021. Retrieved 11 January 2018.
  6. ^ Hughes, John (18 January 2017). Code Checking Automation – Computerphile. Archived from the original on 14 December 2021. Retrieved 11 January 2018.
  7. ^ "2018 ACM Fellows Honored for Pivotal Achievements that Underpin the Digital Age". Association for Computing Machinery. 5 December 2018.
  8. ^ (May 2005) Most Influential Work


No tags for this post.