Vaughan Pratt

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Vaughan Pratt

Vaughan Ronald Pratt (nascido em 1944), um Professor Emérito na Universidade de Stanford, foi um dos pioneiros na área de ciências da computação. Publicando desde 1969, Pratt fez várias contribuições para áreas fundamentais como algoritmo de busca, algoritmo de ordenação, e teste de primalidade. Mais recentemente, sua pesquisa tem focado em modelagem formal de sistemas concorrentes e espaços de Chus. Um padrão de modelos de aplicação de diversas áreas da matemática como geometria, álgebra linear, álgebra abstrata, e especialmente lógica matemática para ciências da computação permeiam o seu trabalho.

Carreira[editar | editar código-fonte]

Criado na Austrália e educado na Knox Grammar School onde ele era dux em 1961, Pratt estudou na Universidade de Sydney onde ele completou sua tese de mestrado em 1970, relacionada ao que agora é conhecido por processamento de linguagem natural. Depois ele foi para os Estados Unidos, onde completou a tese de Ph.D. na Universidade de Stanford em apenas 20 meses sob a supervisão do assessor Donald Knuth. A sua tese focou na análise de shellsort, algoritmo de ordenação, e ordenamento de redes.

Pratt foi professor auxiliar no MIT (de 1972 a 1976) e depois professor associado (de 1976 a 1982). Em 1974, trabalhando em colaboração com Knuth e Morris, Pratt completou e formalizou um trabalho que ele tinha começado em 1970 como estudante de graduação na Berkeley; o resultado desses autores foi o algoritmo de casamento de padrões de Knuth-Morris-Pratt. Em 1976, ele desenvolveu o sistema de lógica dinâmica, um modelo lógico de comportamento estruturado.

Pratt foi em licença sabática do MIT para Stanford (de 1980 a 1981), e foi nomeado professor titular em Stanford em 1981.

Pratt coordenou o projeto da SUN workstation em Stanford de 1980 a 1982. Ele contribuiu de várias maneiras para a fundação e a operação antecipada da Sun Microsystems, atuando no papel de consultor para o seu primeiro ano, então, ter uma licença de Stanford para os próximos dois anos, tornando-se diretor de pesquisa e, finalmente, retomar seu papel como um consultor da Sun e retornando para Stanford em 1985.

Ele também projetou o Sun logo, que apresenta quatro cópias intercaladas da palavra "sun", é uma ambigrama.

Pratt se tornou professor emérito em Stanford em 2000.

Maiores contribuições[editar | editar código-fonte]

Um número de algoritmos bem conhecidos carregam o nome de Pratt. Certificados de Pratt, pequenas provas da primalidade de um número, demonstraram de um modo prático, que a primalidade pode ser eficientemente verificada, colocando o problema do teste de primalidade na classe de complexidade NP e fornecendo a primeira evidência forte de que o problema não é co-NP-complete.[1] O algoritmo de Knuth-Morris-Pratt, o qual Pratt projetou no início dos anos 70 junto com professores de Stanford Donald Knuth e independentemente Morris, ainda é o algoritmo de busca de string mais geral e eficiente conhecido hoje.[2] Junto com Blum, Floyd, Rivest, e Tarjan, ele descreveu o primeiro pior-caso do algoritmo de seleção ótimo.[3]

Ferramenta de construção útil[editar | editar código-fonte]

Pratt construiu algumas ferramentas úteis. Em 1976, ele escreveu um artigo de trabalho no MIT AI Lab sobre CGOL, uma sintaxe alternativa para MACLISP que ele havia projetado e implementado com base em seu paradigma de top down a precedência do operador de análise.[4] O seu analisador é algumas vezes chamado de "Pratt parser"[5] e tem sido usado em sistemas posteriores, como o MACSYMA. Douglas Crockford também usou isso como o analisador subjacente para o JSLint.[6] Pratt também implementou um TECO - editor de texto baseado no chamado "DOC", que mais tarde foi renomeado para "ZED".[7]

Em 1999, Pratt construiu o menor servidor de internet do mundo (na época) — tinha o tamanho de uma caixa de fósforo.[8] [9]

Outras contribuições[editar | editar código-fonte]

Pratt foi honrado em um artigo da revista Byte magazine (1995) por propor que o Pentium FDIV bug poderia ter consequências piores do que a Intel ou a IBM estavam prevendo na época.[10] [11]

Hoje Pratt tem uma grande influência. Além do ser professor de Stanford, ele mantém adesão em pelos menos sete organizações profissionais. Pratt é fellow da Association for Computing Machinery e está no Editorial Board das três maiores revistas matemáticas. Ele é também o presidente e CTO da TIQIT Computers, Inc..

Referências[editar | editar código-fonte]

  1. Vaughan Pratt. Todo primo tem um certificado sucinto. 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. M. Blum, R.W. Floyd, V. Pratt, R. Rivest and R. Tarjan, "Time bounds for selection," J. Comput. System Sci. 7 (1973), pp.448–461
  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 on 2006-06-03.

Links Externos[editar | editar código-fonte]