Vaughan Pratt (nacido el 12 de abril de 1944) es un profesor emérito en la Universidad de Stanford , que fue uno de los pioneros en el campo de la informática . Desde 1969, Pratt ha realizado varias contribuciones a áreas fundamentales como los algoritmos de búsqueda , los algoritmos de clasificación y las pruebas de primalidad . Más recientemente, su investigación se ha centrado en el modelado formal de sistemas concurrentes y espacios Chu .
Criado en Australia y educado en Knox Grammar School , donde fue dux en 1961, Pratt asistió a la Universidad de Sydney , donde completó su tesis de maestría en 1970, relacionada con lo que ahora se conoce como procesamiento del lenguaje natural . Luego se fue a los Estados Unidos, donde completó un doctorado. tesis en la Universidad de Stanford en solo 20 meses bajo la supervisión del asesor Donald Knuth . Su tesis se centró en el análisis del algoritmo de clasificación Shellsort y las redes de clasificación . [1]
Pratt fue profesor asistente en el MIT (1972 a 1976) y luego profesor asociado (1976 a 1982). En 1974, trabajando en colaboración con Knuth y Morris , Pratt completó y formalizó el trabajo que había comenzado en 1970 como estudiante de posgrado en Berkeley ; el resultado de la coautoría fue el algoritmo de coincidencia de patrones de Knuth-Morris-Pratt . En 1976, desarrolló el sistema de lógica dinámica , una lógica modal de comportamiento estructurado.
Pasó un año sabático del MIT a Stanford (1980 a 1981) y fue nombrado profesor titular en Stanford en 1981.
Pratt dirigió el proyecto de la estación de trabajo SUN en Stanford de 1980 a 1982. Contribuyó de diversas maneras a la fundación y operación inicial de Sun Microsystems , actuando como consultor durante su primer año, luego tomando una licencia de Stanford para el En los próximos dos años, se convirtió en director de investigación y finalmente retomó su papel como consultor de Sun y regresó a Stanford en 1985.
También diseñó el logotipo de Sun Microsystems , [2] que presenta cuatro copias intercaladas de la palabra "sol" ; es un ambigrama .
