World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
40
Citations
5816
World Ranking
9392
National Ranking
3980

Overview

John Harrison is affiliated with Intel in the United States. Their research spans multiple disciplines, including Medicine and Computer Science, with an equal focus shown in publications across both fields.

Harrison's work encompasses several subfields such as Artificial Intelligence, Critical Care and Intensive Care Medicine, Radiology, Nuclear Medicine and Imaging, Public Health, Environmental and Occupational Health, and Signal Processing. These areas reflect a multidisciplinary approach combining health sciences and technological innovation.

The topics that Harrison frequently addresses cover a diverse spectrum including Ultrasound in Clinical Applications, Radiology practices and education, Innovations in Medical Education, Security and Verification in Computing, Advanced Malware Detection Techniques, and Logic, programming, and type systems.

Their recent publication is titled "Evaluation of a Required Vertical Point-of-Care Ultrasound Curriculum for Undergraduate Medical Students", published in 2022 in the journal Cureus. This paper has garnered some academic attention as indicated by its citation count.

Harrison often collaborates with a range of co-authors, including Zachary Boivin, S. C. Carpenter, Grace Lee, Brock Chimileski, and Dharamainder Choudhary. These partnerships suggest active engagement in cross-disciplinary research networks.

The main venue for Harrison's published work is Cureus, which aligns with their involvement in medical and clinical education research.

Best Publications

  • HOL Light: A Tutorial Introduction

    John Harrison

  • Handbook of Practical Logic and Automated Reasoning

    John Harrison

  • Theorem Proving with the Real Numbers

    John Harrison

  • Experience with Embedding Hardware Description Languages in HOL

    Richard J. Boulton;Andrew Gordon;Michael J. C. Gordon;John Harrison

  • HOL Light: An Overview

    John Harrison

  • The Library of Isaac Newton

    John R. Harrison

  • A Machine-Checked Theory of Floating Point Arithmetic

    John Harrison

  • A HOL theory of euclidean space

    John Harrison

  • A Skeptic’s Approach to Combining HOL and Maple

    J. Harrison;L. Théry

  • Floating Point Verification in HOL Light: The Exponential Function

    John Harrison

  • The HOL Light Theory of Euclidean Space

    John Harrison

  • Formal Verification of Floating Point Trigonometric Functions

    John Harrison

  • A Revision of the Proof of the Kepler Conjecture

    Thomas C. Hales;John Harrison;Sean Mclaughlin;Tobias Nipkow

  • Formal Proof—Theory and Practice

    John Harrison

  • Scientific Computing on Itanium-Based Systems

    Marius Cornea;John Harrison;Ping Tak Peter Tang

  • Formally verified mathematics

    Jeremy Avigad;John Harrison

  • Verifying nonlinear real formulas via sums of squares

    John Harrison

  • Towards self-verification of HOL light

    John Harrison

  • A Mizar Mode for HOL

    John Harrison

  • A Software Implementation of the IEEE 754R Decimal Floating-Point Arithmetic Using the Binary Encoding Format

    M. Cornea;J. Harrison;C. Anderson;P. Tang

  • Without Loss of Generality

    John Harrison

Frequent Co-Authors

Josef Urban
Josef Urban Czech Technical University in Prague
Tobias Nipkow
Tobias Nipkow Technical University of Munich
André Aleman
André Aleman University Medical Center Groningen
Simon Baron-Cohen
Simon Baron-Cohen University of Cambridge
Paul Maruff
Paul Maruff University of Melbourne
Peter J. Snyder
Peter J. Snyder University of Rhode Island
Jeffrey L. Cummings
Jeffrey L. Cummings University of Nevada, Las Vegas
Truong Q. Nguyen
Truong Q. Nguyen University of California, San Diego
Andrew D. Gordon
Andrew D. Gordon Microsoft (United States)
Rudolph E. Tanzi
Rudolph E. Tanzi Harvard University

External Links

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring Computer Science in the USA opens doors to a wide range of online degrees and career opportunities. Many students worry about GPA requirements, but several online graduate programs that accept 2.0 GPA make quality education accessible for those with lower academic records.

For those seeking a faster academic path, an accelerated computer science degree can offer a way to complete your studies and enter the workforce more quickly. Budget-conscious students may also be interested in programs like the online environmental engineering degree science and engineering, which combines affordability with technical training.

Computer Science is versatile, leading to roles in software development, data analysis, and beyond. Curious about similar pathways? Consider what jobs other technical fields prepare you for, such as what jobs can you get with an environmental science degree.

With so many flexible online options, now is a great time to explore degrees and careers in technology and applied sciences.

Best Scientists Citing John Harrison

Trending Scientists