John Hughes (computer scientist)
R. John M. Hughes | |
|---|---|
.jpg) John Hughes. | |
| Born | 15 July 1958 |
| 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 |
R. John M. Hughes, born 15 July 1958, is a computer scientist and professor in the department of Computing Science at the Chalmers University of Technology.[1]
Contributions
[edit]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
[edit]Hughes was elected as an ACM Fellow in 2018 for "contributions to software testing and functional programming".[7]
See also
[edit]Bibliography
[edit]- J. Hughes. "Generalizing monads to arrows".[8] Science of Computer Programming, (37):67-111, 2000.
References
[edit]- ^ "Chalmers Staff Page".
- ^ THE DESIGN AND IMPLEMENTATION OF PROGRAMMING LANGUAGES (PDF), University of Oxford, July 1983, retrieved 7 November 2018
- ^ Hughes, John (1989). "Why Functional Programming Matters". Computer Journal. 32 (2): 98–107. doi:10.1093/comjnl/32.2.98. Retrieved 6 May 2010.
- ^ IOHK (26 September 2018), IOHK - QuviQ Functional Correctness Training - John Hughes, archived from the original on 14 December 2021, retrieved 7 September 2019
- ^ Computerphile (30 November 2016), Functional Programming & Haskell - Computerphile, archived from the original on 14 December 2021, retrieved 11 January 2018
- ^ Computerphile (18 January 2017), Code Checking Automation - Computerphile, archived from the original on 14 December 2021, retrieved 11 January 2018
- ^ 2018 ACM Fellows Honored for Pivotal Achievements that Underpin the Digital Age, Association for Computing Machinery, 5 December 2018
- ^ (May 2005) Most Influential Work
External links
[edit]Haskell programming | ||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Software |
|  | ||||||||||||||||||||
| Book | ||||||||||||||||||||||
| Community |
| |||||||||||||||||||||
Italics = discontinued
 Book  Category:Family Category:Software | ||||||||||||||||||||||
| International | |
|---|---|
| National | |
| Academics | |
| Other | |
