Vaughan Pratt's talk at The Constructive in Logic and Applications 2012

Channel: ybryukhov   |   2012/08/02
Play Video
1
Vaughan Pratt
Vaughan Pratt's talk at The Constructive in Logic and Applications 2012
::2012/08/02::
Play Video
2
Diving, Boracay Island Philippines
Diving, Boracay Island Philippines
::2013/08/12::
Play Video
3
Yiannis Moschovakis
Yiannis Moschovakis's talk at The Constructive in Logic and Applications 2012
::2012/08/02::
Play Video
4
In Conversation: Mary Pratt and Mireille Eagan - January 18 2014
In Conversation: Mary Pratt and Mireille Eagan - January 18 2014
::2014/01/25::
Play Video
5
Jessica Pratt - Bushel Hyde
Jessica Pratt - Bushel Hyde
::2012/11/12::
Play Video
6
Victor Marek
Victor Marek's talk at The Constructive in Logic and Applications 2012
::2012/07/23::
Play Video
7
Solomon Feferman
Solomon Feferman's talk at The Constructive in Logic and Applications 2012
::2012/08/01::
Play Video
8
Knowledge and Rationality: round table chaired by Rohit Parikh
Knowledge and Rationality: round table chaired by Rohit Parikh
::2012/08/01::
Play Video
9
Melvin Fitting
Melvin Fitting's talk at The Constructive in Logic and Applications 2012
::2012/07/31::
Play Video
10
Arnon Avron
Arnon Avron's talk at The Constructive in Logic and Applications 2012
::2012/07/26::
Play Video
11
Joan Moschovakis
Joan Moschovakis's talk at The Constructive in Logic and Applications 2012
::2012/07/31::
Play Video
12
Adam Brandenburger
Adam Brandenburger's talk at The Constructive in Logic and Applications 2012
::2012/07/25::
Play Video
13
Robert Milnikel
Robert Milnikel's talk at The Constructive in Logic and Applications 2012
::2012/08/01::
Play Video
14
Haim Gaifman
Haim Gaifman's talk at The Constructive in Logic and Applications 2012
::2012/07/30::
Play Video
15
Andre Scedrov
Andre Scedrov's talk at The Constructive in Logic and Applications 2012
::2012/07/25::
Play Video
16
Delivery Man Trailer 2013 Vince Vaughn Official Movie Trailer #2 [HD]
Delivery Man Trailer 2013 Vince Vaughn Official Movie Trailer #2 [HD]
::2013/07/04::
Play Video
17
Anil Nerode
Anil Nerode's talk at The Constructive in Logic and Applications 2012
::2012/07/26::
Play Video
18
Jeff Remmel
Jeff Remmel's talk at The Constructive in Logic and Applications 2012
::2012/07/30::
Play Video
19
Delivery Man Trailer Official - Vince Vaughn, Chris Pratt
Delivery Man Trailer Official - Vince Vaughn, Chris Pratt
::2013/05/23::
Play Video
20
Como tocar Stevie Ray Vaughan en guitarra electrica - Poly Abiuso
Como tocar Stevie Ray Vaughan en guitarra electrica - Poly Abiuso
::2013/08/23::
Play Video
21
Vaughan Designer Back to School collectioin monogrammed FREE FREE shipping Ship Worldwide
Vaughan Designer Back to School collectioin monogrammed FREE FREE shipping Ship Worldwide
::2012/08/02::
Play Video
22
Stevie Ray Vaughan..Hardly
Stevie Ray Vaughan..Hardly
::2011/10/06::
Play Video
23
''Black Coffee'' Piano Solo
::2008/04/20::
Play Video
24
Guardians of the Galaxy | OFFICIAL Trailer US (2014) Starlord Groot
Guardians of the Galaxy | OFFICIAL Trailer US (2014) Starlord Groot
::2014/02/19::
Play Video
25
Corrine Pratt--In Remembrance Elanor Daley
Corrine Pratt--In Remembrance Elanor Daley
::2010/04/25::
Play Video
26
How to Tie Neckties - The Pratt Knot - Instructional Tutorial from Tiecoon.com
How to Tie Neckties - The Pratt Knot - Instructional Tutorial from Tiecoon.com
::2011/08/16::
Play Video
27
Steve Pratt Golfschwung Eisen FO
Steve Pratt Golfschwung Eisen FO
::2014/03/01::
Play Video
28
Instrumental cover SRV - Marry had a little lamb - Father and son jamming
Instrumental cover SRV - Marry had a little lamb - Father and son jamming
::2014/01/12::
Play Video
29
3 Veh MVI Gibsons Way & Pratt Rd
3 Veh MVI Gibsons Way & Pratt Rd
::2013/12/26::
Play Video
30
Land Connections - Collaboration with Connect Special Needs Program - City of Vaughan
Land Connections - Collaboration with Connect Special Needs Program - City of Vaughan
::2013/06/07::
Play Video
31
Comedy Illusionist: Ben Pratt - Fire Cage Illusion
Comedy Illusionist: Ben Pratt - Fire Cage Illusion
::2013/12/28::
Play Video
32
The Wrong Box - Dr. Pratt - Epilogue
The Wrong Box - Dr. Pratt - Epilogue
::2007/05/19::
Play Video
33
Languages Matter: Moderator/Dr. Mary Louise Pratt (English)
Languages Matter: Moderator/Dr. Mary Louise Pratt (English)
::2009/02/25::
Play Video
34
Waltzing with Bears
Waltzing with Bears
::2012/05/29::
Play Video
35
Dan Pratt - Founder Kindermusik PART I
Dan Pratt - Founder Kindermusik PART I
::2009/06/01::
Play Video
36
Knuth-Morris-Pratt-Suchalgorithmus: Implementierung in C
Knuth-Morris-Pratt-Suchalgorithmus: Implementierung in C
::2012/05/17::
Play Video
37
Heli Ski Rides
Heli Ski Rides
::2014/04/02::
Play Video
38
Lot 2 East Side Pratt Lake, Shell Lake, SK [A41585]
Lot 2 East Side Pratt Lake, Shell Lake, SK [A41585]
::2014/02/27::
Play Video
39
Jimi Hendrix - Purple Haze
Jimi Hendrix - Purple Haze
::2011/09/27::
Play Video
40
ITIC Maurice Pratt Tourism Renewal Group
ITIC Maurice Pratt Tourism Renewal Group
::2009/10/15::
Play Video
41
The Punter Pratted
The Punter Pratted
::2006/08/06::
Play Video
42
Car Dashcam - Kitchener 15 (& Vaughan)
Car Dashcam - Kitchener 15 (& Vaughan)
::2013/09/29::
Play Video
43
What Kind Of Fool Am I (Karl Pratt)
What Kind Of Fool Am I (Karl Pratt)
::2011/10/18::
Play Video
44
Colorado Flood 2013 (Longmont/Ken Pratt)
Colorado Flood 2013 (Longmont/Ken Pratt)
::2013/09/13::
Play Video
45
"Heartbreaker" Exile on Pratt Street
"Heartbreaker" Exile on Pratt Street
::2012/12/23::
Play Video
46
Elmer "Geronimo" Ji Jaga (Pratt) on Ants and Detachment from the Ego
Elmer "Geronimo" Ji Jaga (Pratt) on Ants and Detachment from the Ego
::2009/12/10::
Play Video
47
save the date Vaughan and Carol
save the date Vaughan and Carol
::2014/02/23::
Play Video
48
I ate Kash
I ate Kash's Halloween cabdy
::2013/11/01::
Play Video
49
Taste
Taste
::2012/01/08::
Play Video
50
CrossFit - Chad Vaughn, 315 pound Clean and Jerk
CrossFit - Chad Vaughn, 315 pound Clean and Jerk
::2013/04/30::
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 one of the earliest pioneers 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". 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)"". comp.sys.intel. Web link. Retrieved 2006-06-03.

External links[edit]

Wikipedia content is licensed under the GFDL License

Mashpedia enables any individual or company to promote their own Youtube-hosted videos or Youtube Channels, offering a simple and effective plan to get them in front of our engaged audience.

Want to learn more? Please contact us at: hello@mashpedia.com

Powered by YouTube
LEGAL
  • Mashpedia © 2014