Share
VIDEOS 1 TO 50
International House Alumni Interview: Prof. Vaughan Pratt
International House Alumni Interview: Prof. Vaughan Pratt
Published: 2015/09/02
Channel: International House, The University of Sydney
Vaughan Pratt
Vaughan Pratt's talk at The Constructive in Logic and Applications 2012
Published: 2012/08/02
Channel: Yegor Bryukhov
True Confessions with Colin Farrell and Vince Vaughn
True Confessions with Colin Farrell and Vince Vaughn
Published: 2015/06/19
Channel: The Tonight Show Starring Jimmy Fallon
Donald Knuth - The Knuth-Morris-Pratt algorithm (92/97)
Donald Knuth - The Knuth-Morris-Pratt algorithm (92/97)
Published: 2016/01/12
Channel: Web of Stories - Life Stories of Remarkable People
Vince Vaughn Freaked After Learning Colin Farrell Was a Murder Suspect
Vince Vaughn Freaked After Learning Colin Farrell Was a Murder Suspect
Published: 2015/06/20
Channel: The Tonight Show Starring Jimmy Fallon
Diving, Boracay Island Philippines
Diving, Boracay Island Philippines
Published: 2013/08/12
Channel: setecastronomyinc
Giro Vaughan Toronto 2015 Villa Charities
Giro Vaughan Toronto 2015 Villa Charities
Published: 2015/06/05
Channel: mycitylifetv
The Secret She Kept (2016) movie - Kyla Pratt, Gavin Houston, Kellita Smith, Lifetime movies 2016
The Secret She Kept (2016) movie - Kyla Pratt, Gavin Houston, Kellita Smith, Lifetime movies 2016
Published: 2016/12/15
Channel: Birs Facto
Chris Pratt with Best Supporting Actor......a Bacon Sandwich
Chris Pratt with Best Supporting Actor......a Bacon Sandwich
Published: 2017/04/24
Channel: BBC Radio 1
Victoria Pratt
Victoria Pratt
Published: 2011/04/04
Channel: ViolentRage666
Ricky Ponting famous run out and good words to English balcony - Ashes 2005
Ricky Ponting famous run out and good words to English balcony - Ashes 2005
Published: 2011/12/03
Channel: U2one100
Kern Pratt - Lights Are On, But Nobody
Kern Pratt - Lights Are On, But Nobody's Home
Published: 2015/07/14
Channel: thepowerofblues
Rebecca Vaughan - Villains (KTV Studio Sessions)
Rebecca Vaughan - Villains (KTV Studio Sessions)
Published: 2014/06/06
Channel: KTV - Kent Televison
Pen and Ink - Dr Vaughan Rees - Drawing Essentials
Pen and Ink - Dr Vaughan Rees - Drawing Essentials
Published: 2013/12/18
Channel: Art & Design Resources
Vaughan Rowsell (Vend) - Auckland Startup & Tech Meetup 2014
Vaughan Rowsell (Vend) - Auckland Startup & Tech Meetup 2014
Published: 2015/01/13
Channel: Edmund Hillary Fellowship
Giro Vaughan 2014
Giro Vaughan 2014
Published: 2014/07/25
Channel: mycitylifetv
17 Famous Logos With HIDDEN MEANINGS!
17 Famous Logos With HIDDEN MEANINGS!
Published: 2017/06/16
Channel: Factnomenal
Elmer "Geronimo" Ji Jaga (Pratt) on Ants and Detachment from the Ego
Elmer "Geronimo" Ji Jaga (Pratt) on Ants and Detachment from the Ego
Published: 2009/12/10
Channel: killiterati
East Don River Bike Trail in Vaughan (Rutherford/Keele Area)
East Don River Bike Trail in Vaughan (Rutherford/Keele Area)
Published: 2016/07/09
Channel: DevHackMod Channel
Delivery Man Trailer 2013 Vince Vaughn Official Movie Trailer #2 [HD]
Delivery Man Trailer 2013 Vince Vaughn Official Movie Trailer #2 [HD]
Published: 2013/07/04
Channel: Cieon Movies
King City / Nobleton Ontario Neighbourhood
King City / Nobleton Ontario Neighbourhood
Published: 2016/04/11
Channel: My City Life
Cycling from Downtown(ish) Toronto to Vaughan
Cycling from Downtown(ish) Toronto to Vaughan
Published: 2016/05/16
Channel: checkfivefilms
5-Second Summaries with Vince Vaughn
5-Second Summaries with Vince Vaughn
Published: 2015/06/20
Channel: The Tonight Show Starring Jimmy Fallon
VAUGHAN CYCLOCROSS CLASSIC 2015 - The Full Course Ride!
VAUGHAN CYCLOCROSS CLASSIC 2015 - The Full Course Ride!
Published: 2015/11/04
Channel: Mazzuca DPI Inc.
22 Hidden Messages In Famous Logos (Part 1)
22 Hidden Messages In Famous Logos (Part 1)
Published: 2016/01/24
Channel: SC Videos
At bubble soccer overview- Vaughan Ontario Canada
At bubble soccer overview- Vaughan Ontario Canada
Published: 2015/12/17
Channel: REVIEWS
Unfinished Business Official Trailer #1 (2015) - Vince Vaughn, Dave Franco Movie HD
Unfinished Business Official Trailer #1 (2015) - Vince Vaughn, Dave Franco Movie HD
Published: 2014/11/28
Channel: Movieclips Trailers
Learn More About Pratt Institute
Learn More About Pratt Institute's Fashion Design Program
Published: 2017/06/01
Channel: PRATT INSTITUTE
Taste
Taste
Published: 2012/01/08
Channel: Theo Sturz
how easy to make LOGO SUN Microsystem (AMBIGRAM)
how easy to make LOGO SUN Microsystem (AMBIGRAM)
Published: 2017/03/04
Channel: MAX Design
GOA
GOA's Larry Pratt on Fox and Friends
Published: 2015/06/02
Channel: Gun Owners of America
2016-17 Pratt Institute Athletics Highlight Video
2016-17 Pratt Institute Athletics Highlight Video
Published: 2017/04/24
Channel: GoPrattGo
Ivy Social Club - Vaughan ON (2015) - Video 2
Ivy Social Club - Vaughan ON (2015) - Video 2
Published: 2016/07/10
Channel: Joe Sanfilippo
vaughn college warriors
vaughn college warriors
Published: 2013/08/11
Channel: Osama Gzz
Top 10 Memorable Prom Dresses In Movies And TV
Top 10 Memorable Prom Dresses In Movies And TV
Published: 2017/05/13
Channel: MsMojo
Pratt Eye on Alumni: Stephen Spilka
Pratt Eye on Alumni: Stephen Spilka
Published: 2012/06/28
Channel: PRATT INSTITUTE
King Vaughan Strava sprint
King Vaughan Strava sprint
Published: 2016/05/25
Channel: Eli Lee
FLAT EARTH BRITISH Filtered ANTARCTIC SURVEY INTERVIEW WITH PROF  DAVID VAUGHAN  ANY COMMENT  WATCH!
FLAT EARTH BRITISH Filtered ANTARCTIC SURVEY INTERVIEW WITH PROF DAVID VAUGHAN ANY COMMENT WATCH!
Published: 2017/04/20
Channel: FLAT EARTH BRITISH Filtered,
International House Alumni Interview: Mrs Margot Koster Pratt
International House Alumni Interview: Mrs Margot Koster Pratt
Published: 2015/09/02
Channel: International House, The University of Sydney
John Pratt Customer Conference 2015 - What Govt can learn from Retail about customer service
John Pratt Customer Conference 2015 - What Govt can learn from Retail about customer service
Published: 2015/03/12
Channel: Spark Digital NZ
David Vaughan College Basketball Game 1 Highlights
David Vaughan College Basketball Game 1 Highlights
Published: 2009/11/28
Channel: davidv1010
2015 Vaughan CycloCross Classic Slideshow - Mazzuca DPI Inc.
2015 Vaughan CycloCross Classic Slideshow - Mazzuca DPI Inc.
Published: 2015/11/11
Channel: Mazzuca DPI Inc.
THE WATCH (Ben Stiller, Vince Vaughan, Jonah Hill) - moview review / commentary / reactions!
THE WATCH (Ben Stiller, Vince Vaughan, Jonah Hill) - moview review / commentary / reactions!
Published: 2012/07/29
Channel: ThatHappyCouple
2016/07/13 - L1O Cup Semi Final - Vaughan Azzurri at FC London (Women
2016/07/13 - L1O Cup Semi Final - Vaughan Azzurri at FC London (Women's) 2:2 (4-2 PKS)
Published: 2016/07/15
Channel: League1 Ontario
Maleec Taylor #2 Vaughn College Basketball Highlight film
Maleec Taylor #2 Vaughn College Basketball Highlight film
Published: 2015/12/29
Channel: Maleec Taylor
Jeff Vaughan
Jeff Vaughan's first engine start!
Published: 2008/08/04
Channel: lucky macy
Stevenson RB Vanesse Vaughan 11 yard run vs. Utica Ford
Stevenson RB Vanesse Vaughan 11 yard run vs. Utica Ford
Published: 2010/10/03
Channel: R McElhaney
Bubble Ball Soccer in Vaughan
Bubble Ball Soccer in Vaughan
Published: 2015/02/25
Channel: Bubble Ball Soccer
Elaine Dame-"I Want To Be Happy"- with Andrew Pratt & Joe Policastro at Cafe Ciao
Elaine Dame-"I Want To Be Happy"- with Andrew Pratt & Joe Policastro at Cafe Ciao
Published: 2013/03/15
Channel: Tynuson
Jane & King Mountain Bike Trail
Jane & King Mountain Bike Trail
Published: 2015/07/12
Channel: Rob Belv
NEXT
GO TO RESULTS [51 .. 100]

WIKIPEDIA ARTICLE

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Vaughan Pratt
VaughanPratt.JPG
Born Vaughan Ronald Pratt
(1944-04-12) April 12, 1944 (age 73)
Melbourne, Australia
Alma mater Stanford University (1972)
University of Sydney (1970)
Known for Knuth–Morris–Pratt algorithm
Pratt certificate
Pratt parser
Website boole.stanford.edu/pratt.html
Scientific career
Fields Computer science
Institutions Stanford University
MIT
Academic advisors Donald Knuth

Vaughan Pratt (born on April 12, 1944) is a Professor Emeritus at Stanford University, who was an early pioneer in the field of computer science. 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 of the Association for Computing Machinery and is on the editorial board of three major mathematics journals. He was also the founder, Chairman, and CTO of TIQIT Computers, Inc. for the ten years prior to when it closed its doors in 2010.

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. 
  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]

Disclaimer

None of the audio/visual content is hosted on this site. All media is embedded from other sites such as GoogleVideo, Wikipedia, YouTube etc. Therefore, this site has no control over the copyright issues of the streaming media.

All issues concerning copyright violations should be aimed at the sites hosting the material. This site does not host any of the streaming media and the owner has not uploaded any of the material to the video hosting servers. Anyone can find the same content on Google Video or YouTube by themselves.

The owner of this site cannot know which documentaries are in public domain, which has been uploaded to e.g. YouTube by the owner and which has been uploaded without permission. The copyright owner must contact the source if he wants his material off the Internet completely.

Powered by YouTube
Wikipedia content is licensed under the GFDL and (CC) license