Everipedia Logo
Everipedia is now IQ.wiki - Join the IQ Brainlist and our Discord for early access to editing on the new platform and to participate in the beta testing.
John Hughes (computer scientist)

John Hughes (computer scientist)

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

Contributions

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

Hughes is a member of the Functional Programming group at Chalmers, and much of his research relates to the Haskell programming language. He does research in the field of programming languages and is the author of many influential research papers on the subject, including "Why Functional Programming Matters".[3]

Hughes is one of the developers of QuickCheck, as well as cofounder and CEO of QuviQ, which provides the 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

  • Haskell programming language

  • QuickCheck

References

[1]
Citation Linkwww.chalmers.se"Chalmers Staff Page".
Sep 29, 2019, 5:57 AM
[2]
Citation Linkwww.cs.ox.ac.ukTHE DESIGN AND IMPLEMENTATION OF PROGRAMMING LANGUAGES (PDF), University of Oxford, July 1983, retrieved 7 November 2018
Sep 29, 2019, 5:57 AM
[3]
Citation Link//doi.org/10.1093%2Fcomjnl%2F32.2.98Hughes, John (1989). "Why Functional Programming Matters". Computer Journal. 32 (2): 98–107. doi:10.1093/comjnl/32.2.98. Retrieved 6 May 2010.
Sep 29, 2019, 5:57 AM
[4]
Citation Linkwww.youtube.comIOHK (26 September 2018), IOHK - QuviQ Functional Correctness Training - John Hughes, retrieved 7 September 2019
Sep 29, 2019, 5:57 AM
[5]
Citation Linkwww.youtube.comComputerphile (30 November 2016), Functional Programming & Haskell - Computerphile, retrieved 11 January 2018
Sep 29, 2019, 5:57 AM
[6]
Citation Linkwww.youtube.comComputerphile (18 January 2017), Code Checking Automation - Computerphile, retrieved 11 January 2018
Sep 29, 2019, 5:57 AM
[7]
Citation Linkwww.acm.org2018 ACM Fellows Honored for Pivotal Achievements that Underpin the Digital Age, Association for Computing Machinery, 5 December 2018
Sep 29, 2019, 5:57 AM
[8]
Citation Linkwww.cse.chalmers.seJohn Hughes home page
Sep 29, 2019, 5:57 AM
[9]
Citation Linkwww.chalmers.se"Chalmers Staff Page"
Sep 29, 2019, 5:57 AM
[10]
Citation Linkwww.cs.ox.ac.ukTHE DESIGN AND IMPLEMENTATION OF PROGRAMMING LANGUAGES
Sep 29, 2019, 5:57 AM
[11]
Citation Linkwww.cse.chalmers.se"Why Functional Programming Matters"
Sep 29, 2019, 5:57 AM
[12]
Citation Linkdoi.org10.1093/comjnl/32.2.98
Sep 29, 2019, 5:57 AM
[13]
Citation Linkwww.youtube.comIOHK - QuviQ Functional Correctness Training - John Hughes
Sep 29, 2019, 5:57 AM
[14]
Citation Linkwww.youtube.comFunctional Programming & Haskell - Computerphile
Sep 29, 2019, 5:57 AM
[15]
Citation Linkwww.youtube.comCode Checking Automation - Computerphile
Sep 29, 2019, 5:57 AM
[16]
Citation Linkwww.acm.org2018 ACM Fellows Honored for Pivotal Achievements that Underpin the Digital Age
Sep 29, 2019, 5:57 AM
[17]
Citation Linkwww.cse.chalmers.seJohn Hughes home page
Sep 29, 2019, 5:57 AM
[18]
Citation Linken.wikipedia.orgThe original version of this page is from Wikipedia, you can edit the page right here on Everipedia.Text is available under the Creative Commons Attribution-ShareAlike License.Additional terms may apply.See everipedia.org/everipedia-termsfor further details.Images/media credited individually (click the icon for details).
Sep 29, 2019, 5:57 AM