Misplaced Pages

R. John M. Hughes
John Hughes.
Born	(1958-07-15) 15 July 1958 (age 66) Sweden
Education	University of Oxford, PhD, 1984
Known for	Functional programming group at Chalmers Haskell language research QuickCheck; cofounder, CEO of QuviQ "Why Functional Programming Matters" Software testing
Awards	Elected ACM Fellow, 2018
Scientific career
Fields	Computer science, functional programming
Institutions	Chalmers University of Technology, QuviQ
Thesis	The Design and Implementation of Programming Languages (1984)
Website	www.cse.chalmers.se/~rjmh

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.

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".

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

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

See also

• Haskell
• QuickCheck

Bibliography

• J. Hughes. "Generalizing monads to arrows". Science of Computer Programming, (37):67-111, 2000.

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

External links

• Official website

v t e Haskell programming
Software	Implementations (features) Generic Haskell° Glasgow Haskell Compiler° Template Haskell° Gofer° → Hugs° York Haskell Compiler° (Yhc) Dialects Agda° Cryptol° Curry° Elm° Hume° Idris° Ωmega° Orwell° Pugs° TidalCycles° Ur° Electronic design Atom° Bluespec SystemVerilog (BSV) Libraries Concurrent Haskell° Haskell Platform° Parsec° QuickCheck° Package managers Cabal° Stack° Windowing systems Fudgets wxHaskell° xmonad° Web frameworks Servant° Snap° Yesod° Cardano° Darcs° Ganeti° git-annex° Haddock° HaXml° House° Liquid Haskell° LOLITA Pandoc° Paradox° SQream DB
Book	Real World Haskell
Community	Eponym Haskell Curry Arvind Lennart Augustsson Richard Bird Jeremy Gibbons Andrew D. Gordon Paul Hudak John Hughes John Launchbury John MacFarlane Simon Marlow Conor McBride Erik Meijer Simon Peyton Jones David Roundy Joe Stoy Audrey Tang Simon Thompson Philip Wadler
Italics = discontinued ° = Open-source software Book Category:Family Category:Software

• v
• t
• e

• Living people
• Swedish computer scientists
• Academic staff of the Chalmers University of Technology
• Programming language researchers
• Computer science educators
• 1958 births
• Computer scientist stubs