Biography:John Hughes (computer scientist)

From HandWiki
R. John M. Hughes
John Hughes (computer scientist).jpg
John Hughes.
Born (1958-07-15) 15 July 1958 (age 66)
Sweden
EducationUniversity of Oxford, PhD, 1984
Known forFunctional Programming group at Chalmers
Haskell language research
QuickCheck; cofounder, CEO of QuviQ
"Why Functional Programming Matters"
Software testing
AwardsElected ACM Fellow, 2018
Scientific career
FieldsComputer science, functional programming
InstitutionsChalmers University of Technology, QuviQ
ThesisThe Design and Implementation of Programming Languages (1984)
Websitewww.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 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

References

  1. ↑ "Chalmers Staff Page". https://www.chalmers.se/en/persons/rjmh/. 
  2. ↑ THE DESIGN AND IMPLEMENTATION OF PROGRAMMING LANGUAGES, University of Oxford, July 1983, https://www.cs.ox.ac.uk/files/3309/PRG40.pdf, retrieved November 7, 2018 
  3. ↑ Hughes, John (1989). "Why Functional Programming Matters". Computer Journal 32 (2): 98–107. doi:10.1093/comjnl/32.2.98. http://www.cse.chalmers.se/~rjmh/Papers/whyfp.html. Retrieved 2010-05-06. 
  4. ↑ IOHK (2018-09-26), IOHK - QuviQ Functional Correctness Training - John Hughes, https://www.youtube.com/watch?v=dIVAinPWypE, retrieved 2019-09-07 
  5. ↑ Computerphile (2016-11-30), Functional Programming & Haskell - Computerphile, https://www.youtube.com/watch?v=LnX3B9oaKzw, retrieved 2018-01-11 
  6. ↑ Computerphile (2017-01-18), Code Checking Automation - Computerphile, https://www.youtube.com/watch?v=AfaNEebCDos, retrieved 2018-01-11 
  7. ↑ 2018 ACM Fellows Honored for Pivotal Achievements that Underpin the Digital Age, Association for Computing Machinery, December 5, 2018, https://www.acm.org/media-center/2018/december/fellows-2018 

Bibliography

External links



  1. ↑ (May 2005) Most Influential Work
Retrieved from "https://handwiki.org/wiki/index.php?title=Biography:John_Hughes_(computer_scientist)&oldid=3403501"