What is he best known for?
The fields of study he is best known for:
- Programming language
- Algebra
- Algorithm
John Harrison focuses on HOL, Programming language, Automated theorem proving, Algebra and Mathematical proof.
His HOL research incorporates elements of Discrete mathematics, Vector space and Euclidean space.
John Harrison interconnects Simple, Proof assistant, Theoretical computer science and Automation in the investigation of issues within Programming language.
The various areas that John Harrison examines in his Automated theorem proving study include Multiplication and Symbolic computation.
When carried out as part of a general Algebra research project, his work on Hol light and Quadratic form is frequently linked to work in Ellipsoid method, Univariate and Explained sum of squares, therefore connecting diverse disciplines of study.
His research in Mathematical proof intersects with topics in Software, Correctness, Combinatorics and Round-off error.
His most cited work include:
- HOL Light: A Tutorial Introduction (295 citations)
- PBT2 Rapidly Improves Cognition in Alzheimer's Disease: Additional Phase II Analyses (286 citations)
- Handbook of Practical Logic and Automated Reasoning (206 citations)
What are the main themes of his work throughout his whole career to date?
His main research concerns Automated theorem proving, HOL, Algorithm, Formal verification and Calculus.
His Automated theorem proving research includes themes of Proof assistant, Hol light and Proof theory.
His HOL research focuses on Symbolic computation and how it relates to Real number.
His Formal verification research also works with subjects such as
- Transcendental function, Arithmetic and Binary number most often made with reference to Floating point,
- Software, which have a strong connection to Modular design.
His Calculus study combines topics in areas such as Discrete mathematics, Mathematical proof, Formal proof and Fundamental theorem.
His Programming language research is multidisciplinary, relying on both Automation and Simple.
He most often published in these fields:
- Automated theorem proving (26.06%)
- HOL (20.42%)
- Algorithm (19.01%)
What were the highlights of his more recent work (between 2010-2020)?
- Cognition (9.86%)
- Disease (7.04%)
- Calculus (15.49%)
In recent papers he was focusing on the following fields of study:
John Harrison spends much of his time researching Cognition, Disease, Calculus, Discrete mathematics and Functional composite.
His study looks at the intersection of Cognition and topics like Cognitive psychology with Dementia.
His Disease study incorporates themes from Physical therapy, Clinical trial and Clinical psychology.
His studies in Calculus integrate themes in fields like Proof assistant, Mathematical proof, Formal proof and Formal verification.
His biological study spans a wide range of topics, including Space and Automated theorem proving.
His Automated theorem proving study is concerned with the larger field of Theoretical computer science.
Between 2010 and 2020, his most popular works were:
- A formal proof of the Kepler conjecture (160 citations)
- The HOL Light Theory of Euclidean Space (89 citations)
- Apparatus and method for capturing images (66 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Algebra
- Algorithm
His primary scientific interests are in Calculus, Discrete mathematics, Kepler conjecture, Formal proof and Hol light.
His Calculus research incorporates themes from Algorithm, Automated theorem proving, Formal verification, Proof assistant and Fundamental theorem.
His work carried out in the field of Discrete mathematics brings together such families of science as Isometry and Locally convex topological vector space.
John Harrison performs multidisciplinary studies into Kepler conjecture and Algebra in his work.
The study incorporates disciplines such as Development, HOL and Euclidean space in addition to Algebra.
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.
