Vaughan Pratt
Vaughan Pratt | ||
---|---|---|
| ||
Información personal | ||
Nombre en inglés | Vaughan Ronald Pratt ![]() | |
Nacimiento | 12 de abril de 1944 ![]() Melbourne (Australia) ![]() | |
Nacionalidad | Australiana | |
Educación | ||
Educado en |
| |
Supervisor doctoral | Donald Knuth ![]() | |
Información profesional | ||
Ocupación | Informático teórico, académico y profesor universitario ![]() | |
Área | Ciencias de la computación ![]() | |
Empleador |
| |
Estudiantes doctorales | Parham Aarabi ![]() | |
Afiliaciones | Stanford University Computer Science Department ![]() | |
Miembro de | Association for Computing Machinery (desde 1997) ![]() | |
Sitio web | profiles.stanford.edu/vaughan-pratt ![]() | |
Distinciones |
| |
[editar datos en Wikidata] |
Vaughan Ronald Pratt (nacido en 1944), un Profesor Emeritus en la Universidad Stanford, es un pionero en el campo de informática. Publicando desde 1969, Pratt ha hecho varias contribuciones a áreas fundacionales como algoritmos de búsqueda, algoritmos de ordenación, y tests de primalidad. Más recientemente su búsqueda se ha centrado en el modelado formal de sistemas concurrentes y espacios de Chu. Un patrón de aplicar modelos de áreas diversas de las matemáticas como geometría, álgebra lineal, álgebra abstracta, y especialmente lógica matemática a informática se extiende por su trabajo.
Carrera
Criado en Australia y educado en la Escuela de Gramática Knox, donde se graduó en 1961, Pratt atendió a la Universidad de Sídney donde completó su tesis de maestría en 1970, relacionado con lo que ahora es conocido como procesamiento de lengua natural. Entonces fue a los Estados Unidos, donde completo una Tesis de Ph.D. en la Universidad Stanford en solo 20 meses bajo la supervisión de Donald Knuth. Su tesis se centró en el análisis del algoritmo de ordenación shellsort y las redes de ordenamiento.
Pratt fue un Profesor Ayudante en el MIT (1972 a 1976) y después Profesor Asociado (1976 a 1982). En 1974, trabajando en colaboración con Knuth y Morris, Pratt completó y formalizó el trabajo que había empezado en 1970 como estudiante de posgrado en Berkeley; el resultado del que fue coautor fue el Algoritmo Knuth-Morris-Pratt. En 1976, desarrolló el sistema de lógica dinámica, una lógica modal de comportamiento estructurado.
Fue del MIT a Stanford (1980 a 1981), y fue nombrado un profesor de pleno en Stanford en 1981.
Pratt dirigió el proyecto SOL workstation en Stanford de 1980 a 1982. Contribuyó en varias maneras a la fundación y operación temprana de Sun Microsystems, actuando en la función de asesor por su primer año, entonces, tausentándose de Stanford por los próximo dos años, deviniendo Director de Investigación, y finalmente retomando su función como asesor y regresando a Stanford en 1985.
También diseñó el logotipo de Sun, el cual presenta cuatro copias intercaladas de la palabra Sun; es un ambigrama.
Pratt se convirtió en profesor emeritus en Stanford en el 2000.
Contribuciones importantes
Un número de algoritmos bien conocidos llevan el nombre de Pratt. Los Certificados de Pratt, pruebas cortas de la primalidad de un número, demostraron en una manera práctica que la primalidad puede ser eficientemente verificada, colocando el problema de la Prueba de primalidad en la clase de complejidad NP y proporcionando la primera evidencia fuerte de que el problema no es co-NP-completo.[1] El Algoritmo Knuth-Morris-Pratt, el cual Pratt diseñó en el principio de los 1970s junto con su compañero profesor en Stanford Donald Knuth e independientemente de Morris, es todavía el algoritmo de búsqueda de subcadenas general más eficaz conocido hoy.[2] Junto con Blum, Floyd, Rivest, y Tarjan, describió median de medians, el primer algoritmo de selección[3] optimo en el peor-caso.
Construcción de herramientas útiles
Pratt Construyó algunas herramientas útiles. En 1976, escribió una publicación sobre CGOL, una sintaxis alternativa para MACLISP que había diseñado e implementó.[4] Su parser es a veces llamado un "Parser Pratt" y ha sido utilizado en sistemas posteriores, como MACSYMA.[5] Douglas Crockford también lo utilizó como el parser subyacente para JSLint.[6] Pratt también implementó un editor de texto basado en TECO el cual nombró "DOC", el cual fue más tarde rebautizado a "ZED".[7]
En 1999, Pratt construyó el servidor de web más pequeño del mundo (en ese momento) — del tamaño de una caja de fósforos.[8][9]
Otras contribuciones
Pratt fue acreditado de proponer en una revista Byte de 1995 que el error de división del Intel Pentium podría tener consecuencias peores que las que Intel o IBM pronosticaban en aquel momento.[10][11]
Hoy Pratt tiene una amplia influencia. Además de ser profesor en Stanford, mantiene afiliación en al menos siete organizaciones profesionales. Es un socio en la Enlace español Association for Computing Machinery. Es también el Presidente y CTO de TIQIT Ordenadores, Inc..
Referencias
- ↑ Vaughan Pratt.
- ↑ Donald Knuth, James H. Morris, Jr., and Vaughan Pratt.
- ↑ Blum, M.; Floyd, R. W.; Pratt, V. R.; Rivest, R. L.; Tarjan, R. E. (agosto de 1973). «Time bounds for selection». Journal of Computer and System Sciences 7 (4): 448-461. doi:10.1016/S0022-0000(73)80033-9.
- ↑ Pratt, V.R., Top Down Operator Precedence.
- ↑ George J. Carrette A simple Pratt-Parser for SIOD. 1990.
- ↑ https://github.com/douglascrockford/JSLint/blob/40e3f73127b56f24a12e5cb091a86d9a24130926/fulljslint.js jslint source code line 2224
- ↑ Eric Fischer.
- ↑ BBC News.
- ↑ CNN News.
- ↑ "How to Bruise an Integer" Archivado el 7 de octubre de 2008 en Wayback Machine., Byte, March 1995.
- ↑ "Chain Reaction in Pentiums", Vaughan Pratt, 1994.
Enlaces externos
- Vaughan Pratt en el Mathematics Genealogy Project. en el Proyecto de Genealogía de la Matemática
- Página de la facultad en la Universidad Stanford
- Página de abstracts, con descargas de muchas de las publicaciones de Pratt.
Datos: Q7917308
Multimedia: Vaughan Pratt / Q7917308