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

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

Contributions

In 1984, Hughes received his PhD from the

University of Oxford The University of Oxford is a collegiate research university in Oxford, England. There is evidence of teaching as early as 1096, making it the oldest university in the English-speaking world and the world's second-oldest university in contin ...

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

. He does research in the field of

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

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

, 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 jou ...

'', (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