W 1974 roku razem z Donaldem Knuthem i Jamesem Morrisem opracował algorytm wyszukiwania wzorca w tekście. Wspólna praca opisująca algorytm została opublikowana w 1977.
W 1975 zdefiniował certyfikat pierwszości nazwany certyfikatem Pratta, który pozwala szybko zweryfikować, czy dana liczba jest pierwsza. Dowiódł, że problem znajdowania liczb pierwszych leży w klasie NP, czyli problemów których rozwiązania można sprawdzić w czasie wielomianowym.
W 1982 w czasie urlopu pomógł założyć firmę Sun i zaprojektował jej logo składające się z czterech przeplatających się słów sun (słońce) w formie ambigramu.
Do jego doktorantów należał m.in. David Harel.
Od 2000 jest emerytowanym profesorem Uniwersytetu Stanforda.
Przypisy
Linki zewnętrzne
Kategoria:Absolwenci Uniwersytetu Stanforda Kategoria:Australijscy informatycy Kategoria:Urodzeni w 1944