Richard Statman - Richard Statman - Wikipedia

tento článek potřebuje další citace pro ověření. Prosím pomozte vylepšit tento článek podle přidávání citací ke spolehlivým zdrojům. Zdroj bez zdroje může být napaden a odstraněn. Najít zdroje: „Richard Statman“  – zprávy  · noviny  · knihy  · učenec  · JSTOR (Červenec 2008) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

Richard Statman (narozen 6. září 1946) je americký počítačový vědec jehož hlavním výzkumným zájmem je teorie výpočtu, zejména symbolický výpočet. Jeho výzkum zahrnuje lambda kalkul, teorie typů, a kombinatorická algebra.

Kariéra

V roce 1974 obdržel Statman svůj Ph.D. z Stanfordská Univerzita za svou disertační práci, pod dohledem Georg Kreisel, oprávněný Strukturální složitost důkazů. Mezi jeho úspěchy patří důkaz toho problém osídlení typu v jednoduše zadaný lambda kalkul je PSPACE - kompletní.

externí odkazy

• Profil Carnegie Mellon