Roberta S. Boyera

Ten artykuł dotyczy profesora informatyki. W przypadku innych osób zobacz Robert Boyer (ujednoznacznienie) .

Roberta S. Boyera
Narodowość	amerykański
Edukacja	doktorat w matematyce
zawód (-y)	Informatyk , matematyk
Pracodawca	Uniwersytet Teksasu w Austin
Znany z	Algorytm przeszukiwania łańcuchów Boyera-Moore'a , Nqthm , ACL2

Robert Stephen Boyer jest amerykańskim emerytowanym profesorem informatyki , matematyki i filozofii na University of Texas w Austin . On i J Strother Moore wynaleźli algorytm wyszukiwania ciągów znaków Boyera-Moore'a , szczególnie wydajny algorytm wyszukiwania ciągów znaków , w 1977 roku. On i Moore współpracowali także nad automatycznym dowodem twierdzeń Boyera-Moore'a, Nqthm , w 1992 roku. Następnie pracował z Moore i Matt Kaufmann o innym dowodzie twierdzeń ACL2 .

Publikacje

Boyer opublikował obszernie, w tym następujące książki:

• Podręcznik logiki obliczeniowej , z JS. Moore'em. Druga edycja. Prasa akademicka, Londyn, 1998.
• Zautomatyzowane rozumowanie: eseje na cześć Woody'ego Bledsoe , redaktor. Kluwer Academic, Dordrecht, Holandia, 1991.
• Podręcznik logiki obliczeniowej , z JS. Moore'em. Prasa akademicka, Nowy Jork, 1988.
• Problem poprawności w informatyce , redaktor, z JS. Moore'em. Prasa akademicka, Londyn, 1981.
• Logika obliczeniowa , z JS. Moore'em. Prasa akademicka, Nowy Jork, 1979.

Zobacz też

• Algorytm głosowania większościowego Boyera-Moore'a
• Manifest QED

Linki zewnętrzne

• Strona domowa Roberta S. Boyera . Dostęp 18 lutego 2016 r.
• University of Texas, College of Liberal Arts Honors Emerytowany Wydział - 2008 . Dostęp 21 marca 2009 r.
• Robert Stephen Boyer w Mathematics Genealogy Project