www.wikidata.de-de.nina.az

Vaughan Pratt Vaughan Ronald Pratt 12 April 1944 in Melbourne 1 ist ein australischer Informatiker und Hochschullehrer I

Vaughan Pratt

Vaughan Ronald Pratt (* 12. April 1944 in Melbourne) ist ein australischer Informatiker und Hochschullehrer.

Vaughan Pratt

Leben Bearbeiten

Pratt studierte an der Universität Sydney mit dem Bachelor-Abschluss 1967 und dem Master-Abschluss 1970 (mit einem Computerprogramm für die Syllogismen in der Logik von Lewis Carroll) und wurde 1972 an der Stanford University bei Donald Knuth promoviert mit einer Dissertation über Sortieralgorithmen (Shellsort) und Sportiernetzwerke. 1972 wurde er Assistant Professor und 1976 Associate Professor am Massachusetts Institute of Technology (MIT). 1980/81 war er zu einem Sabbatjahr an der Stanford University und leitete dort von 1980 bis 1982 das SUN Workstation Projekt. Er blieb in Stanford mit einer vollen Professur ab 1981. In dieser Zeit war er auch am Aufbau von Sun Microsystems wesentlich beteiligt, zunächst als Berater, dann für zwei Jahre 1983 bis 1985 in Stanford beurlaubt als Forschungsdirektor und schließlich wieder bis 1988 als Berater. 1985 war er wieder an der Stanford University. 2000 wurde er emeritiert.

Er war Berater von Honeywell (1972), IBM (1972 bis 1974, 1978 bis 1979), des Office of Naval Research (1974), VLSI Systems (1981/82).

Forschung und Lehre Bearbeiten

Von ihm, James Hiram Morris und Donald Knuth stammt der Knuth-Morris-Pratt-Algorithmus, ein String-Matching-Algorithmus. Pratt hatte die Idee noch als Student 1970 unabhängig von Knuth (der kurze Zeit später darauf stieß), und Pratt und Morris veröffentlichten 1970 einen Technischen Bericht dazu. Schließlich veröffentlichten alle drei 1977 einen Aufsatz dazu.

1973 entwickelte er einen Parser (Pratt Parser). Er selbst wandte ihn in einer alternativen Implementierung (CGOL) von Maclisp an, einer Lisp-Variante, und der Parser wurde auch z. B. in Macsyma verwendet. Beides waren Bestandteile des umfassenden MAC-Projekts am MIT.

Er befasste sich auch mit Primzahltests und führte 1975 das Primzahl-Zertifikat (Pratt certificate) ein, ein kurzer Beweis dass eine Zahl Primzahl ist, basierend auf dem Primzahltest von Lucas (später kamen stark verbesserte Methoden auf).

Mitte der 1990er Jahre analysierte er den Pentium-FDIV-Bug. 1999 baute er den damals kleinsten Web-Server in der Größe einer Streichholzschachtel. Er war Gründer der Firma TIQIT Computers, die sich 2010 auflösten, und 1988 gründete er Triangle Concepts.

Mit Manuel Blum, Robert Floyd, Robert Tarjan und Ron Rivest entwickelte er 1973 einen approximativen Selektionsalgorithmus (Bestimmung der k-ten kleinsten Zahl in Listen und Arrays), den median of median Algorithmus.

Außerdem befasste er sich mit der Anwendung algebraischer Methoden zur Theorie der Nebenläufigkeit (Concurrency), digitaler Typographie, rechnergestützter Geometrie, Bildverarbeitung und Computersehen.

Sonstiges Bearbeiten

In jüngster Zeit (2010er Jahre) befasst er sich mit dem Klimawandel.

Pratt heiratete 1969 Margot F. Coster, mit der er zwei Töchter hat.

Zu seinen Doktoranden gehören David Harel und Parham Aarabi (Universität Toronto).

Schriften (Auswahl) Bearbeiten

Außer die in den Fußnoten zitierten Arbeiten.

  • Shellsort and Sorting Networks, New York/London: Garland Publishing 1979

Weblinks Bearbeiten

Commons: Vaughan Pratt – Sammlung von Bildern, Videos und Audiodateien

Einzelnachweise Bearbeiten

  1. Geburts- und Karrieredaten Men and Women of Science, Thomson Gale 2005
  2. Knuth, Morris, Pratt: Fast Pattern Matching in Strings, SIAM Journal of Computing, Band 6, 1974, S. 323–350.
  3. Pratt, Morris, A linear pattern-matching algorithm (Technical Report), University of California, Berkeley, Computation Center. TR-40.
  4. Pratt, Top down operator precedence, Proceedings of the 1st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, 1973, S. 41–51
  5. Pratt, CGOL: An Alternative External Representation for LISP Users, AI Working Paper 121. MIT Artificial Intelligence Laboratory 1976
  6. Pratt, Every prime has a succinct certificate, SIAM Journal on Computing, Band 4, 1975, S. 214–220
  7. Surfing on a match box, BBC News, 10. Februar 1999
  8. M: Blum, R. W. Floyd, V. R. Pratt, R. Rivest, R. E. Tarjan, Time bounds for selection, Journal of Computer and System Sciences, Band 7, 1973, S. 448–461.
  9. Vaughan Pratt im Mathematics Genealogy Project (englisch) Vorlage:MathGenealogyProject/Wartung/id verwendet
Personendaten
NAME Pratt, Vaughan
ALTERNATIVNAMEN Pratt, Vaughan Ronald (vollständiger Name)
KURZBESCHREIBUNG australischer Informatiker und Hochschullehrer
GEBURTSDATUM 12. April 1944
GEBURTSORT Melbourne
wikipedia, wiki, deutsches, deutschland, buch, bücher, bibliothek artikel lesen, herunterladen kostenlos kostenloser herunterladen, MP3, Video, MP4, 3GP, JPG, JPEG, GIF, PNG, Bild, Musik, Lied, Film, Buch, Spiel, Spiele
Veröffentlichungsdatum:
Vaughan Ronald Pratt 12 April 1944 in Melbourne 1 ist ein australischer Informatiker und Hochschullehrer Vaughan Pratt Inhaltsverzeichnis 1 Leben 2 Forschung und Lehre 3 Sonstiges 4 Schriften Auswahl 5 Weblinks 6 EinzelnachweiseLeben BearbeitenPratt studierte an der Universitat Sydney mit dem Bachelor Abschluss 1967 und dem Master Abschluss 1970 mit einem Computerprogramm fur die Syllogismen in der Logik von Lewis Carroll und wurde 1972 an der Stanford University bei Donald Knuth promoviert mit einer Dissertation uber Sortieralgorithmen Shellsort und Sportiernetzwerke 1972 wurde er Assistant Professor und 1976 Associate Professor am Massachusetts Institute of Technology MIT 1980 81 war er zu einem Sabbatjahr an der Stanford University und leitete dort von 1980 bis 1982 das SUN Workstation Projekt Er blieb in Stanford mit einer vollen Professur ab 1981 In dieser Zeit war er auch am Aufbau von Sun Microsystems wesentlich beteiligt zunachst als Berater dann fur zwei Jahre 1983 bis 1985 in Stanford beurlaubt als Forschungsdirektor und schliesslich wieder bis 1988 als Berater 1985 war er wieder an der Stanford University 2000 wurde er emeritiert Er war Berater von Honeywell 1972 IBM 1972 bis 1974 1978 bis 1979 des Office of Naval Research 1974 VLSI Systems 1981 82 Forschung und Lehre BearbeitenVon ihm James Hiram Morris und Donald Knuth stammt der Knuth Morris Pratt Algorithmus ein String Matching Algorithmus 2 Pratt hatte die Idee noch als Student 1970 unabhangig von Knuth der kurze Zeit spater darauf stiess und Pratt und Morris veroffentlichten 1970 einen Technischen Bericht dazu 3 Schliesslich veroffentlichten alle drei 1977 einen Aufsatz dazu 1973 entwickelte er einen Parser Pratt Parser 4 Er selbst wandte ihn in einer alternativen Implementierung CGOL 5 von Maclisp an einer Lisp Variante und der Parser wurde auch z B in Macsyma verwendet Beides waren Bestandteile des umfassenden MAC Projekts am MIT Er befasste sich auch mit Primzahltests und fuhrte 1975 das Primzahl Zertifikat Pratt certificate ein ein kurzer Beweis dass eine Zahl Primzahl ist basierend auf dem Primzahltest von Lucas spater kamen stark verbesserte Methoden auf 6 Mitte der 1990er Jahre analysierte er den Pentium FDIV Bug 1999 baute er den damals kleinsten Web Server in der Grosse einer Streichholzschachtel 7 Er war Grunder der Firma TIQIT Computers die sich 2010 auflosten und 1988 grundete er Triangle Concepts Mit Manuel Blum Robert Floyd Robert Tarjan und Ron Rivest 8 entwickelte er 1973 einen approximativen Selektionsalgorithmus Bestimmung der k ten kleinsten Zahl in Listen und Arrays den median of median Algorithmus Ausserdem befasste er sich mit der Anwendung algebraischer Methoden zur Theorie der Nebenlaufigkeit Concurrency digitaler Typographie rechnergestutzter Geometrie Bildverarbeitung und Computersehen Sonstiges BearbeitenIn jungster Zeit 2010er Jahre befasst er sich mit dem Klimawandel Pratt heiratete 1969 Margot F Coster mit der er zwei Tochter hat Zu seinen Doktoranden gehoren David Harel und Parham Aarabi Universitat Toronto 9 Schriften Auswahl BearbeitenAusser die in den Fussnoten zitierten Arbeiten Shellsort and Sorting Networks New York London Garland Publishing 1979Weblinks Bearbeiten nbsp Commons Vaughan Pratt Sammlung von Bildern Videos und Audiodateien Homepage in Stanford Stanford ProfilEinzelnachweise Bearbeiten Geburts und Karrieredaten Men and Women of Science Thomson Gale 2005 Knuth Morris Pratt Fast Pattern Matching in Strings SIAM Journal of Computing Band 6 1974 S 323 350 Pratt Morris A linear pattern matching algorithm Technical Report University of California Berkeley Computation Center TR 40 Pratt Top down operator precedence Proceedings of the 1st Annual ACM SIGACT SIGPLAN Symposium on Principles of Programming Languages 1973 S 41 51 Pratt CGOL An Alternative External Representation for LISP Users AI Working Paper 121 MIT Artificial Intelligence Laboratory 1976 Pratt Every prime has a succinct certificate SIAM Journal on Computing Band 4 1975 S 214 220 Surfing on a match box BBC News 10 Februar 1999 M Blum R W Floyd V R Pratt R Rivest R E Tarjan Time bounds for selection Journal of Computer and System Sciences Band 7 1973 S 448 461 Vaughan Pratt im Mathematics Genealogy Project englisch Vorlage MathGenealogyProject Wartung id verwendetNormdaten Person LCCN n79076109 VIAF 165199731 Wikipedia Personensuche Kein GND Personendatensatz Letzte Uberprufung 10 Marz 2023 PersonendatenNAME Pratt VaughanALTERNATIVNAMEN Pratt Vaughan Ronald vollstandiger Name KURZBESCHREIBUNG australischer Informatiker und HochschullehrerGEBURTSDATUM 12 April 1944GEBURTSORT Melbourne Abgerufen von https de wikipedia org w index php title Vaughan Pratt amp oldid 231685571