1
Vaughan Pratt
Vaughan Pratt's talk at The Constructive in Logic and Applications 2012
DATE: 2012/08/02::
2
Diving, Boracay Island Philippines
Diving, Boracay Island Philippines
DATE: 2013/08/12::
3
Delivery Man Review (2013)
Delivery Man Review (2013)
DATE: 2013/11/22::
4
The Alex Jones Show (VIDEO Commercial Free) May 8 2015: Rep. Sawicki, Larry Pratt, Michael Ozias
The Alex Jones Show (VIDEO Commercial Free) May 8 2015: Rep. Sawicki, Larry Pratt, Michael Ozias
DATE: 2015/05/08::
5
Taste
Taste
DATE: 2012/01/08::
6
To Mock Your Reign, O Dearest Lord
To Mock Your Reign, O Dearest Lord
DATE: 2013/01/23::
7
Jessica Pratt - Moon Dude
Jessica Pratt - Moon Dude
DATE: 2015/02/12::
8
Brazil/ brazil Trailer
Brazil/ brazil Trailer
DATE: 2015/02/07::
9
INTERVISTA a HUGO PRATT
INTERVISTA a HUGO PRATT
DATE: 2010/07/26::
10
In Conversation: Mary Pratt and Mireille Eagan - January 18 2014
In Conversation: Mary Pratt and Mireille Eagan - January 18 2014
DATE: 2014/01/24::
11
My Little Hula Girl
My Little Hula Girl
DATE: 2013/02/18::
12
Mi versión de los Malory I
Mi versión de los Malory I
DATE: 2008/06/10::
13
''Black Coffee'' Piano Solo
DATE: 2008/04/20::
14
Stevie Ray Vaughan - Tin Pan Alley (Pt 2)
Stevie Ray Vaughan - Tin Pan Alley (Pt 2)
DATE: 2007/06/25::
15
Pen and Ink - Dr Vaughan Rees - Drawing Essentials
Pen and Ink - Dr Vaughan Rees - Drawing Essentials
DATE: 2013/12/18::
16
3 Licks de Blues en Guitarra  Electrica -  Steve Ray Vaughan
3 Licks de Blues en Guitarra Electrica - Steve Ray Vaughan
DATE: 2013/08/23::
17
George Pratt: Materials for Pen and Ink
George Pratt: Materials for Pen and Ink
DATE: 2012/11/12::
18
Johnny Copeland - St. Louis Blues.wmv
Johnny Copeland - St. Louis Blues.wmv
DATE: 2012/03/27::
19
B.B.King & Friends - Night Of Blistering Blues (1987)
B.B.King & Friends - Night Of Blistering Blues (1987)
DATE: 2012/03/14::
20
La Realidad y la Magia - Un Tributo a Hugo Pratt
La Realidad y la Magia - Un Tributo a Hugo Pratt
DATE: 2009/11/28::
21
Ricky Ponting 2005 Ashes Run Out
Ricky Ponting 2005 Ashes Run Out
DATE: 2007/04/27::
22
Ralph Vaughan Williams - Four Poems by Fredegond Shove (1/2)
Ralph Vaughan Williams - Four Poems by Fredegond Shove (1/2)
DATE: 2009/09/26::
23
Delivery Man Trailer Official - Vince Vaughn, Chris Pratt
Delivery Man Trailer Official - Vince Vaughn, Chris Pratt
DATE: 2013/05/23::
24
Johnny Copeland - Old Man Blues.wmv
Johnny Copeland - Old Man Blues.wmv
DATE: 2012/02/20::
25
Mi versión de los Malory II
Mi versión de los Malory II
DATE: 2009/06/27::
26
Pizza with Vaughan - Episode 7 (3/20/14)
Pizza with Vaughan - Episode 7 (3/20/14)
DATE: 2014/03/25::
27
Sarah VAUGHAN ~ Comes LOVE
Sarah VAUGHAN ~ Comes LOVE
DATE: 2014/12/15::
28
Brazil (trailer)
Brazil (trailer)
DATE: 2009/05/28::
29
Banda Bootleg (Teaser - One More Time)
Banda Bootleg (Teaser - One More Time)
DATE: 2010/06/17::
30
ANDRE PREVIN   - This Can
ANDRE PREVIN - This Can't Be Love
DATE: 2013/07/18::
31
Men
Men's Basketball: Pratt Institute vs. Vaughn College
DATE: 2014/12/05::
32
GOA
GOA's Larry Pratt: ATF Allows Flow of Guns Into Mexico! - Alex Jones Tv 2/2
DATE: 2011/03/28::
33
Comedy Illusionist: Ben Pratt - Fire Cage Illusion
Comedy Illusionist: Ben Pratt - Fire Cage Illusion
DATE: 2013/12/27::
34
Mark Alburger - Job: A Masque - III. "Where Have You Been"
Mark Alburger - Job: A Masque - III. "Where Have You Been"
DATE: 2010/06/17::
35
Tim Pratt Issma solo 2009
Tim Pratt Issma solo 2009
DATE: 2009/02/07::
36
Norman Kaye, Legacy Awardee Died on Sept. 17th, 2012
Norman Kaye, Legacy Awardee Died on Sept. 17th, 2012
DATE: 2012/10/01::
37
Mark Alburger - Job: A Masque - I. "What You Been Doing?"
Mark Alburger - Job: A Masque - I. "What You Been Doing?"
DATE: 2010/10/08::
38
Mark Alburger - Job: A Masque - II. "We Were Plowing"
Mark Alburger - Job: A Masque - II. "We Were Plowing"
DATE: 2010/10/04::
39
DC Douglas "General Hospital" (1991)
DC Douglas "General Hospital" (1991)
DATE: 2011/06/06::
40
Happy Easter 2014 @ The Wooden Ladybird Company
Happy Easter 2014 @ The Wooden Ladybird Company
DATE: 2014/04/11::
41
Duke University Founder
Duke University Founder's Day Convocation - 9/22/11
DATE: 2011/09/22::
42
The Wooden Ladybird Company For All Bespoke Unique Occasions
The Wooden Ladybird Company For All Bespoke Unique Occasions
DATE: 2014/04/06::
43
Brazil (spot)
Brazil (spot)
DATE: 2009/05/28::
44
Death Valley Days - Little Washington, classic western tv show, full episode
Death Valley Days - Little Washington, classic western tv show, full episode
DATE: 2015/03/31::
45
2011 MSHSL Class AA Track & Field Championship Meet - Girls 4X400 Meter Relay PRELIMS (Heat 1 of 2)
2011 MSHSL Class AA Track & Field Championship Meet - Girls 4X400 Meter Relay PRELIMS (Heat 1 of 2)
DATE: 2011/06/15::
46
Old English Melody, Traditional, arr. by Louise Pratt, performed by UNC Varisty Harp Team
Old English Melody, Traditional, arr. by Louise Pratt, performed by UNC Varisty Harp Team
DATE: 2010/12/28::
47
We Won
We Won't Let Up on Project Gunrunner! Larry Pratt on Lou Dobbs
DATE: 2011/06/24::
48
The Punter Pratted
The Punter Pratted
DATE: 2006/08/06::
49
The Vanishing Island | Op-Docs | The New York Times
The Vanishing Island | Op-Docs | The New York Times
DATE: 2014/06/04::
50
Jerry Pratt, Videographer:  Part 3 of 3: The Weather Channel
Jerry Pratt, Videographer: Part 3 of 3: The Weather Channel's "Storm Stories" (2005)
DATE: 2009/08/24::
NEXT >>
RESULTS [51 .. 101]
From Wikipedia, the free encyclopedia
Jump to: navigation, search
Vaughan Pratt

Vaughan Ronald Pratt (born 1944), a Professor Emeritus at Stanford University, was an early pioneer in the field of computer science. Publishing since 1969, Pratt has made several contributions to foundational areas such as search algorithms, sorting algorithms, and primality testing. More recently his research has focused on formal modeling of concurrent systems and Chu spaces. A pattern of applying models from diverse areas of mathematics such as geometry, linear algebra, abstract algebra, and especially mathematical logic to computer science pervades his work.

Career[edit]

Raised in Australia and educated at Knox Grammar School where he was dux in 1961, Pratt attended Sydney University where he completed his masters thesis in 1970, related to what is now known as natural language processing. He then went to the United States, where he completed a Ph.D. thesis at Stanford University in only 20 months under the supervision of advisor Donald Knuth. His thesis focused on analysis of the shellsort sorting algorithm and sorting networks.

Pratt was an Assistant Professor at MIT (1972 to 1976) and then Associate Professor (1976 to 1982). In 1974, working in collaboration with Knuth and Morris, Pratt completed and formalized work he had begun in 1970 as a graduate student at Berkeley; the coauthored result was the Knuth-Morris-Pratt pattern matching algorithm. In 1976, he developed the system of dynamic logic, a modal logic of structured behavior.

He went on sabbatical from MIT to Stanford (1980 to 1981), and was appointed a full professor at Stanford in 1981.

Pratt directed the SUN workstation project at Stanford from 1980 to 1982. He contributed in various ways to the founding and early operation of Sun Microsystems, acting in the role of consultant for its first year, then, taking a leave of absence from Stanford for the next two years, becoming Director of Research, and finally resuming his role as a consultant to Sun and returning to Stanford in 1985.

He also designed the Sun logo, which features four interleaved copies of the word "sun"; it is an ambigram.

Pratt became professor emeritus at Stanford in 2000.

Major contributions[edit]

A number of well-known algorithms bear Pratt's name. Pratt certificates, short proofs of the primality of a number, demonstrated in a practical way that primality can be efficiently verified, placing the primality testing problem in the complexity class NP and providing the first strong evidence that the problem is not co-NP-complete.[1] The Knuth-Morris-Pratt algorithm, which Pratt designed in the early 1970s together with fellow Stanford professor Donald Knuth and independently from Morris, is still the most efficient general string searching algorithm known today.[2] Along with Blum, Floyd, Rivest, and Tarjan, he described median of medians, the first worst-case optimal selection algorithm.[3]

Useful tool building[edit]

Pratt built some useful tools. In 1976, he wrote an MIT AI Lab working paper about CGOL, an alternative syntax for MACLISP that he had designed and implemented based on his paradigm for top down operator precedence parsing.[4] His parser is sometimes called a "Pratt parser"[5] and has been used in later systems, such as MACSYMA. Douglas Crockford also used it as the underlying parser for JSLint.[6] Pratt also implemented a TECO-based text editor named "DOC", which was later renamed to "ZED".[7]

In 1999, Pratt built the world's smallest (at the time) web server—it was the size of a matchbox.[8][9]

Other contributions[edit]

Pratt was credited in a 1995 Byte magazine article for proposing that the Pentium FDIV bug might have worse consequences than either Intel or IBM was predicting at the time.[10][11]

Today Pratt has a wide influence. In addition to his Stanford professorship, he holds membership in at least seven professional organizations. He is a fellow with the Association for Computing Machinery and is on the Editorial Board of three major mathematics journals. He is also the Chairman and CTO of TIQIT Computers, Inc..

References[edit]

  1. ^ Vaughan Pratt. Every prime has a succinct certificate. SIAM Journal on Computing, vol.4, pp.214–220. 1975. Citations, Full-text (requires paid login)
  2. ^ Donald Knuth, James H. Morris, Jr., and Vaughan Pratt. Fast pattern matching in strings. SIAM Journal on Computing, 6(2):323–350. 1977. Citations
  3. ^ Blum, M.; Floyd, R. W.; Pratt, V. R.; Rivest, R. L.; Tarjan, R. E. (August 1973). "Time bounds for selection" (PDF). Journal of Computer and System Sciences 7 (4): 448–461. doi:10.1016/S0022-0000(73)80033-9.  edit
  4. ^ Pratt, V.R., Top Down Operator Precedence. Proceedings of the ACM Symposium on Principles of Programming Languages. 1973. pp41-51.
  5. ^ George J. Carrette A simple Pratt-Parser for SIOD. 1990.
  6. ^ https://github.com/douglascrockford/JSLint/blob/40e3f73127b56f24a12e5cb091a86d9a24130926/fulljslint.js jslint source code line 2224
  7. ^ Eric Fischer. Emacs and Other Editors. alt.folklore.computers. November 15, 2000.
  8. ^ BBC News.Surfing on a matchbox. 1999.
  9. ^ CNN News. Smallest Web server fits in shirt pocket. 1999.
  10. ^ "How to Bruise an Integer", Byte, March 1995.
  11. ^ "Chain Reaction in Pentiums", Vaughan Pratt, 1994. In wdv-notes334, 22 Jan, 1995. Article is formatted from a newsgroup posting: Vaughan Pratt (1994-12-30). ""TECHNICAL: Chain reaction in Pentiums (Was: The Flaw: Pentium-Contaminated Data Persists)"". Newsgroupcomp.sys.intel. Usenet: 3e097i$952@Radon.Stanford.EDU. Retrieved 2006-06-03. 

External links[edit]

Wikipedia content is licensed under the GFDL License
Powered by YouTube
MASHPEDIA
LEGAL
  • Mashpedia © 2015