R. John M. Hughes (born 15 July 1958) is a

computer scientist A computer scientist is a scientist who specializes in the academic study of computer science. Computer scientists typically work on the theoretical side of computation. Although computer scientists can also focus their work and research on ...

and professor in the

computer science Computer science is the study of computation, information, and automation. Computer science spans Theoretical computer science, theoretical disciplines (such as algorithms, theory of computation, and information theory) to Applied science, ...

department at

Chalmers University of Technology Chalmers University of Technology (, commonly referred to as Chalmers) is a private university, private research university located in Gothenburg, Sweden. Chalmers focuses on engineering and science, but more broadly it also conducts research ...

Contributions

In 1984, Hughes received his

Doctor of Philosophy A Doctor of Philosophy (PhD, DPhil; or ) is a terminal degree that usually denotes the highest level of academic achievement in a given discipline and is awarded following a course of Postgraduate education, graduate study and original resear ...

(PhD) from the

University of Oxford The University of Oxford is a collegiate university, 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 List of oldest un ...

for the thesis "The Design and Implementation of Programming Languages". Hughes does

research Research is creative and systematic work undertaken to increase the stock of knowledge. It involves the collection, organization, and analysis of evidence to increase understanding of a topic, characterized by a particular attentiveness to ...

in the field of

programming language A programming language is a system of notation for writing computer programs. Programming languages are described in terms of their Syntax (programming languages), syntax (form) and semantics (computer science), semantics (meaning), usually def ...

s. He is a member of the

functional programming In computer science, functional programming is a programming paradigm where programs are constructed by Function application, applying and Function composition (computer science), composing Function (computer science), functions. It is a declarat ...

group at Chalmers, and has written many influential research papers on the subject, including "Why Functional Programming Matters". Much of his research relates to the language

Haskell 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 pioneered several programming language ...

. Hughes is one of the developers of the

QuickCheck QuickCheck is a software library, 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 testing. Softwar ...

library A library is a collection of Book, books, and possibly other Document, materials and Media (communication), media, that is accessible for use by its members and members of allied institutions. Libraries provide physical (hard copies) or electron ...

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

popular science Popular science (also called pop-science or popsci) is an interpretation of science intended for a general audience. While science journalism focuses on recent scientific developments, popular science is more broad ranging. It may be written ...

YouTube channel Computerphile explaining functional programming and QuickCheck.

Recognition

Hughes was elected as an

ACM Fellow ACM Fellowship is an award and fellowship that recognises outstanding members of the Association for Computing Machinery (ACM). The title of ACM Fellow A fellow is a title and form of address for distinguished, learned, or skilled individuals ...

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

Bibliography

*J. Hughes. "Generalizing monads to arrows".(May 2005) Most Influential Work
/ref> '' Science of Computer Programming'', (37):67-111, 2000.

References

External links

* Living people Swedish computer scientists Academic staff of the Chalmers University of Technology Programming language researchers Computer science educators 1958 births {{Compu-scientist-stub

Contributions

Recognition

See also

Bibliography

References

External links