World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
51
Citations
20380
World Ranking
5205
National Ranking
2390

Research.com Recognitions

  • 1997 - ACM Fellow An outstanding computer scientist, with unusually diverse, original and deep accomplishments, like showing primes in NP, inventing dynamic logic, helping start SUN, and solidifying concurrency.

Overview

Vaughan R. Pratt is affiliated with Stanford University in the United States. Their research primarily falls within the field of Computer Science, with specific focus on the subfield of Computational Theory and Mathematics.

The main topics covered in their work include:

  • Advanced Algebra and Logic
  • Semigroups and Automata Theory

Pratt has contributed to the following recent papers:

  • "My time with Rob," published in 2020 in the journal Acta Informatica
  • "Preface," published in 2020 in the journal Acta Informatica (authored by Peter Höfner)

The frequent co-authors with whom Pratt has collaborated include:

  • Peter Höfner
  • Carroll Morgan

They have published predominantly in the venue Acta Informatica, contributing at least two publications there.

In 1997, they were recognized as an ACM Fellow, cited for a diverse range of original and deep accomplishments in computer science, including contributions related to primes in NP, dynamic logic, early involvement in the SUN project, and concurrency.

Best Publications

  • Fast Pattern Matching in Strings

    Donald E. Knuth;James H. Morris;Vaughan R. Pratt

  • Stanley: The Robot that Won the DARPA Grand Challenge

    Sebastian Thrun;Michael Montemerlo;Hendrik Dahlkamp;David Stavens

  • Time bounds for selection

    Manuel Blum;Robert W. Floyd;Vaughan Pratt;Ronald L. Rivest

  • Towards fully autonomous driving: Systems and algorithms

    Jesse Levinson;Jake Askeland;Jan Becker;Jennifer Dolson

  • Modeling concurrency with partial orders

    Vaughan Pratt

  • Semantical consideration on floyo-hoare logic

    Vaughan R. Pratt

  • SEMANTICAL CONSIDERATIONS ON FLOYD-HOARE LOGIC

    V. R. Pratt

  • Direct least-squares fitting of algebraic surfaces

    Vaughan Pratt

  • Every Prime Has a Succinct Certificate

    Vaughan R. Pratt

  • Linear Algorithm for Data Compression via String Matching

    Michael Rodeh;Vaughan R. Pratt;Shimon Even

  • Models of program logics

    V. R. Pratt

  • Action logic and pure induction

    Vaughan R. Pratt

  • A near-optimal method for reasoning about action☆

    Vaughan R. Pratt

  • A characterization of the power of vector machines

    Vaughan R. Pratt;Larry J. Stockmeyer

  • A decidable mu-calculus: Preliminary report

    V. R. Pratt

  • Stanley: The robot that won the DARPA Grand Challenge: Research Articles

    Sebastian Thrun;Mike Montemerlo;Hendrik Dahlkamp;David Stavens

  • Process logic: preliminary report

    V. R. Pratt

  • On the composition of processes

    V. R. Pratt

  • Computing permutations with double-ended queues, parallel stacks and parallel queues

    Vaughan R. Pratt

  • Techniques for conic splines

    Vaughan Pratt

  • A characterization of the power of vector machines

    Vaughan R. Pratt;Michael O. Rabin;Larry J. Stockmeyer

Frequent Co-Authors

Doron Peled
Doron Peled Bar-Ilan University
Manuel Blum
Manuel Blum Carnegie Mellon University
Donald E. Knuth
Donald E. Knuth Stanford University
Sebastian Thrun
Sebastian Thrun Stanford University
Robert E. Tarjan
Robert E. Tarjan Princeton University
Gordon Plotkin
Gordon Plotkin University of Edinburgh
Gerard J. Holzmann
Gerard J. Holzmann Nimble Research
Larry J. Stockmeyer
Larry J. Stockmeyer IBM (United States)
David Harel
David Harel Weizmann Institute of Science

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 up a range of opportunities beyond traditional CS degrees. For example, if you’re interested in fields that overlap with technology, you may want to consider an electrical engineering degree online admissions process. These programs offer flexibility and the ability to specialize in related engineering fields.

If you’re looking for a quicker route into the workforce, there are numerous certificate programs that pay well. These online certifications can boost your credentials and often require less time than a full degree, helping you land high-demand tech roles.

For those aiming to upskill rapidly, consider the shortest online masters degree options. These accelerated graduate programs let you advance your expertise in computer science or related disciplines within a year, keeping you competitive in a fast-evolving tech landscape.

Finally, choosing one of the most useful graduate degrees ensures your education investment pays off. Look for programs at the intersection of computer science and in-demand specializations like data science, AI, or cybersecurity to maximize your career potential.

Best Scientists Citing Vaughan R. Pratt

Trending Scientists