Walter Savitch - Walter Savitch
Walter John Savitch | |
---|---|
narozený | 21. února 1943 |
Alma mater | University of California, Berkeley |
Známý jako | Savitchova věta, NL |
Vědecká kariéra | |
Pole | Počítačová věda |
Instituce | University of California, San Diego |
Teze | Nedeterministické pásky vázané na Turingovy stroje[1] (1969) |
Doktorský poradce | Stephen Cook |
webová stránka | www-cse |
Walter John Savitch (narozen 21. února 1943) je nejlépe známý pro definování třídy složitosti NL (nedeterministický logaritmický prostor) a pro Savitchova věta, který definuje vztah mezi NSPACE a DSPACE třídy složitosti. Jeho práce při zakládání třídy složitosti pomohl vytvořit pozadí, na kterém lze provádět nedeterministické a pravděpodobnostní uvažování.
Učinil také rozsáhlou práci v oblasti zpracování přirozeného jazyka a matematická lingvistika. Zaměřuje se na výpočetní složitost, jak se týká genetika a biologie více než 10 let.
Kromě jeho práce v teoretická informatika Savitch napsal řadu učebnic, ve kterých se naučil programovat C / C ++, Jáva, Ada, Pascal a další.
Savitch získal titul PhD matematika z University of California, Berkeley v roce 1969 pod dohledem Stephen Cook Od té doby byl profesorem na University of California, San Diego kde je v současné době emeritní profesor v oddělení informatiky.
Reference
externí odkazy
- Richard J. Lipton, Savitchova věta. Poskytuje historický popis toho, jak byla objevena Savitchova věta.
P ≟ NP | Tento životopisný článek týkající se a počítačový vědec je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |