What is he best known for?
The fields of study he is best known for:
- Programming language
- Operating system
- Functional programming
His primary scientific interests are in Programming language, Haskell, Functional programming, Combinatory logic and Theoretical computer science.
Many of his studies on Programming language apply to Equational reasoning as well.
His Haskell research includes themes of Random testing, Very high-level programming language, Method, Object-oriented programming and Implementation.
His research in Functional programming intersects with topics in Dynamic data structures, Type and Bounded function.
His Combinatory logic study incorporates themes from Graphical user interface, Web page and Parsing.
He interconnects Space, Functional compiler, Bootstrapping and Compiler in the investigation of issues within Theoretical computer science.
His most cited work include:
- QuickCheck: a lightweight tool for random testing of Haskell programs (1027 citations)
- Report on the programming language Haskell: a non-strict, purely functional language version 1.2 (954 citations)
- Why functional programming matters (586 citations)
What are the main themes of his work throughout his whole career to date?
John Hughes mostly deals with Programming language, Theoretical computer science, Haskell, Functional programming and Software.
John Hughes combines subjects such as Random testing and Simple with his study of Programming language.
His work investigates the relationship between Theoretical computer science and topics such as Data structure that intersect with problems in Correctness.
His Haskell research incorporates themes from First-generation programming language, Very high-level programming language, Monad, Artificial intelligence and Combinatory logic.
John Hughes studied Functional programming and Declarative programming that intersect with Procedural programming.
His work carried out in the field of Software brings together such families of science as Software engineering and Erlang.
He most often published in these fields:
- Programming language (57.72%)
- Theoretical computer science (21.14%)
- Haskell (18.70%)
What were the highlights of his more recent work (between 2012-2021)?
- Programming language (57.72%)
- Software (13.01%)
- Theoretical computer science (21.14%)
In recent papers he was focusing on the following fields of study:
John Hughes mainly focuses on Programming language, Software, Theoretical computer science, Random testing and Software engineering.
His Programming language study combines topics in areas such as Computer security, Semantics and Test case.
His biological study spans a wide range of topics, including Erlang and Access control.
The Theoretical computer science study combines topics in areas such as Probabilistic logic and Code coverage.
John Hughes focuses mostly in the field of Random testing, narrowing it down to matters related to Simple and, in some cases, Formal verification.
His Software engineering research is multidisciplinary, incorporating elements of Code, Purely functional, Simple, Simulation and State transition function.
Between 2012 and 2021, his most popular works were:
- Testing AUTOSAR software with QuickCheck (37 citations)
- Testing noninterference, quickly (25 citations)
- Making random judgments: Automatically generating well-typed terms from the definition of a type-system (23 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Operating system
- Algorithm
John Hughes focuses on Random testing, Programming language, Theoretical computer science, Software and Software engineering.
His study in Random testing is interdisciplinary in nature, drawing from both State transition function, Simple, Distributed computing and Counterexample.
His is doing research in Functional logic programming, Inductive programming, Procedural programming, Programming language theory and Programming paradigm, both of which are found in Programming language.
His studies deal with areas such as Falsifiability and Solver as well as Theoretical computer science.
His Bebugging, Test effort and AUTOSAR study in the realm of Software interacts with subjects such as Automated method.
His biological study spans a wide range of topics, including Race condition, Simulation and Software testing.
This overview was generated by a machine learning system which analysed the scientist’s
body of work. If you have any feedback, you can
contact us
here.
