The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Lawrence C. Paulson sits on this spectrum.
This scientist: 270 publications — 67th percentile
67% of scientists in this discipline score the same or lower.
The last bar groups every scientist with 991 publications or more.
The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Lawrence C. Paulson sits on this spectrum.
This scientist: 58 D-Index — 75th percentile
75% of scientists in this discipline score the same or lower.
The last bar groups every scientist with 131 D-Index or more.
Lawrence C. Paulson is affiliated with the University of Cambridge in the United Kingdom and specializes in the field of Computer Science, with a primary focus on Artificial Intelligence and Computational Theory and Mathematics. The scientist's research spans several related subfields including Computer Networks and Communications, Mathematical Physics, and Geometry and Topology.
The main topics of Lawrence C. Paulson's work include:
Recent publications by Lawrence C. Paulson demonstrate ongoing contributions to theorem proving and formal logic. Notable papers include:
Frequent co-authors in Lawrence C. Paulson's research include:
Lawrence C. Paulson has a notable presence in several publication venues. Among the most frequent are:
The scientist has received recognition in their field including the title of Fellow of the Royal Society, United Kingdom, awarded in 2017, and the designation of ACM Fellow in 2008, specifically for contributions to theorem provers and verification techniques.
Tobias Nipkow;Markus Wenzel;Lawrence C. Paulson
Lawrence C. Paulson;Tobias Nipkow
Laurence C. Paulson
Lawrence C. Paulson
L. C. Paulson
Lawrence C. Paulson
L.C. Paulson
Jasmin Christian Blanchette;Sascha Böhme;Lawrence C. Paulson
Lawrence C. Paulson
Lawrence C. Paulson
Lawrence C. Paulson
Lawrence Paulson
L C Paulson
Makarius Wenzel;Lawrence C. Paulson;Tobias Nipkow
Lawrence C. Paulson
Lawrence C. Paulson;Tobias Nipkow;Markus Wenzel
Giampaolo Bella;Lawrence C. Paulson
L.C. Paulson
Leslie Lamport;Lawrence C. Paulson
Lawrence Paulson
If you think any of the details on this page are incorrect, let us know.
Pursuing Computer Science in the USA opens the door to numerous online education options and career opportunities. For those interested in expanding their skills beyond traditional computer science, many mba online programs provide valuable business and management knowledge, complementing a technical background. An MBA can help you transition into leadership roles within the tech industry.
If you’re looking to upskill quickly, there are 1 year master's programs online that offer comprehensive training in a fast-track format. These programs allow you to gain advanced qualifications and enter the workforce sooner.
Many students are also interested in short degrees that pay well. These programs typically focus on high-demand tech fields, helping graduates secure rewarding jobs faster without lengthy study commitments.
Artificial intelligence is one of today’s most sought-after specializations. Consider an artificial intelligence degree online to get started in this exciting area. These programs are often flexible and affordable, making it easier to launch a career in AI or machine learning.
French Institute for Research in Computer Science and Automation - INRIA
Publications: 57
French Institute for Research in Computer Science and Automation - INRIA
Publications: 32
MIT
Pennsylvania State University
National Institute of Standards and Technology
Hôpital Bichat-Claude-Bernard
University of Colorado Boulder
Colorado State University
University of Utah
Medical College of Wisconsin
Qualcomm (United States)
Concordia University
University of Toronto
University of Colorado Boulder
Kaiser Permanente
Paris-Est Créteil University
The University of Texas at Dallas
University of Pisa
