R. John M. Hughes, born , is a

computer scientist A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus (al ...

and professor in the department of Computing Science at the

Chalmers University of Technology Chalmers University of Technology ( sv, Chalmers tekniska högskola, often shortened to Chalmers) is a Swedish university located in Gothenburg that conducts research and education in technology and natural sciences at a high international level ...

Contributions

In 1984, Hughes received his PhD from the

University of Oxford , mottoeng = The Lord is my light , established = , endowment = £6.1 billion (including colleges) (2019) , budget = £2.145 billion (2019–20) , chancellor ...

for the thesis "The Design and Implementation of Programming Languages". Hughes is a member of the Functional Programming group at Chalmers, and much of his research relates to the

Haskell programming language Haskell () is a general-purpose, statically-typed, purely functional programming language with type inference and lazy evaluation. Designed for teaching, research and industrial applications, Haskell has pioneered a number of programming lang ...

. He does research in the field of

programming languages A programming language is a system of notation for writing computer programs. Most programming languages are text-based formal languages, but they may also be graphical. They are a kind of computer language. The description of a programming ...

and is the author of many influential research papers on the subject, including "Why Functional Programming Matters". Hughes is one of the developers of

QuickCheck QuickCheck is a software library, specifically a combinator library, originally written in the programming language Haskell, designed to assist in software testing by generating test cases for test suites – an approach known as property testi ...

, as well as cofounder and CEO of QuviQ, which provides the QuickCheck software and offers classes in how to use it. In 2016 he appeared in the

popular science ''Popular Science'' (also known as ''PopSci'') is an American digital magazine carrying popular science content, which refers to articles for the general reader on science and technology subjects. ''Popular Science'' has won over 58 awards, incl ...

YouTube channel Computerphile explaining Functional Programming and QuickCheck.

Recognition

Hughes was elected as an

ACM Fellow ACM or A.C.M. may refer to: Aviation * AGM-129 ACM, 1990–2012 USAF cruise missile * Air chief marshal * Air combat manoeuvring or dogfighting * Air cycle machine * Arica Airport (Colombia) (IATA: ACM), in Arica, Amazonas, Colombia Computing ...

in 2018 for "contributions to software testing and functional programming".

References

Bibliography

*J. Hughes. "Generalizing monads to arrows".(May 2005) Most Influential Work
/ref> ''

Science of Computer Programming ''Science of Computer Programming'' is a peer-reviewed scientific journal covering computer programming. It is published by Elsevier and the editors-in-chief are M.R. Mousavi ( King's College London) and A. De Lucia (University of Salerno). The j ...

'', (37):67-111, 2000.

External links

John Hughes home page
Living people Swedish computer scientists Programming language researchers Year of birth uncertain Computer science educators 1958 births Fellows of the Association for Computing Machinery {{Compu-scientist-stub

Contributions

Recognition

See also

References

Bibliography

External links