Roberta L. Constable'a

Roberta L. Constable'a
Urodzić się	Roberta Lee Constable'a 1942
Obywatelstwo	Stany Zjednoczone
Alma Mater	Uniwersytet Princeton , Uniwersytet Wisconsin-Madison
Znany z	Nuprl
Kariera naukowa
Pola	Informatyka
Instytucje	Uniwersytet Cornella
Doradca doktorski	Stefana Kleene'a
Inni doradcy akademiccy	Kościół Alonzo
Doktoranci	Allan Borodin Edmund M. Clarke Robert Harper Kurt Mehlhorn Steven Muchnick Pavel Naumov

Robert Lee Constable (ur. 1942) to amerykański informatyk. Jest profesorem informatyki oraz pierwszym i byłym dziekanem Wydziału Informatyki i Nauk Informacyjnych na Uniwersytecie Cornell . Znany jest ze swojej pracy nad łączeniem programów komputerowych i dowodów matematycznych , zwłaszcza systemu Nuprl . Przed Nuprl pracował nad systemem formalnym i weryfikatorem PL/CV . Alonzo Church nadzorował pracę magisterską Roberta, gdy ten studiował w Princeton . Constable otrzymał doktorat w 1968 roku pod kierunkiem Stephena Kleene i nadzorował ponad 40 studentów, w tym Edmunda M. Clarke'a , Roberta Harpera , Kurta Mehlhorna , Stevena Muchnicka , Pavela Naumova i Ryana Stansifera. Jest członkiem Stowarzyszenia Maszyn Komputerowych .

Constable był dyrektorem Letniej Szkoły Marktoberdorf .

Wybrane publikacje

• RL Constable i MJ O'Donnell. Logika programowania , Winthrop, Cambridge , 1978.
• RL Constable, SD Johnson i CD Eichenlaub. Wprowadzenie do logiki programowania PL/CV2 . W notatkach do wykładów z informatyki 135 , Springer-Verlag , 1982
• Grupa PRL. Implementacja matematyki za pomocą systemu opracowywania dowodu Nuprl . Prentice-Hall , Engelwood Cliffs, NJ, 1986.

Linki zewnętrzne

• Strona główna na Wydziale Informatyki i Informatyki Uniwersytetu Cornell
• Robert L. Constable w Mathematics Genealogy Project