John Hughes (computer scientist)

R. John M. Hughes
John Hughes.
Born (1958-07-15) 15 July 1958
Sweden
Alma materUniversity of Oxford, DPhil, 1984
Known forFunctional programming group at Chalmers
Haskell language research
QuickCheck; cofounder, CEO of QuviQ
"Why Functional Programming Matters"
Software testing
SpouseMary Sheeran[1]
AwardsElected ACM Fellow, 2018
Scientific career
FieldsComputer science, functional programming
WorkplacesChalmers University of Technology, QuviQ
ThesisThe Design and Implementation of Programming Languages (1984)
Bernard Sufrin
Websitewww.cse.chalmers.se/~rjmh

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

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

Hughes undertakes research in the field of programming languages. He is a member of the functional programming group at Chalmers, and has written many research papers on the subject, including "Why Functional Programming Matters".[4] 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 on how to use it.[5]

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

Recognition

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

See also

Bibliography

References

  1. ↑ "Programming pioneer with a passion for an inclusive academia". Meet our scientists. Sweden: Chalmers University of Technology. 12 December 2025. Retrieved 4 June 2026.
  2. ↑ Hughes, John (2000–2024). "John Hughes". Chalmers University of Technology. Retrieved 14 January 2025.
  3. ↑ Hughes, John (July 1983). The Design and Implementation of Programming Languages (PDF) (PhD thesis). University of Oxford. Retrieved 7 November 2018.
  4. ↑ 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.
  5. ↑ Hughes, John (26 September 2018). IOHK – QuviQ Functional Correctness Training. Archived from the original on 14 December 2021. Retrieved 7 September 2019.
  6. ↑ Hughes, John (30 November 2016). Functional Programming & Haskell – Computerphile. Archived from the original on 14 December 2021. Retrieved 11 January 2018.
  7. ↑ Hughes, John (18 January 2017). Code Checking Automation – Computerphile. Archived from the original on 14 December 2021. Retrieved 11 January 2018.
  8. ↑ "2018 ACM Fellows Honored for Pivotal Achievements that Underpin the Digital Age". Association for Computing Machinery. 5 December 2018.
  9. ↑ (May 2005) Most Influential Work
This page is issued from Wikipedia. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.