Robert Lee Constable - Robert Lee Constable

Robert Lee Constable
Doğum1942
VatandaşlıkAmerika Birleşik Devletleri
gidilen okulPrinceton Üniversitesi, Wisconsin-Madison Üniversitesi
BilinenNuprl
Bilimsel kariyer
AlanlarBilgisayar Bilimi
KurumlarCornell Üniversitesi
Doktora danışmanıStephen Kleene
Diğer akademik danışmanlarAlonzo Kilisesi
Doktora öğrencileriAllan Borodin
Edmund M. Clarke
Robert Harper
Kurt Mehlhorn
Steven Muchnick
Pavel Naumov

Robert Lee Constable (1952 doğumlu), Amerikalı bir bilgisayar bilimcisi. O bir profesör bilgisayar Bilimi ve bölümün birinci ve eski dekanı Cornell Üniversitesi, Amerika Birleşik Devletleri. Bilgisayar programlarını ve matematiksel kanıtları, özellikle de Nuprl sistemi. Alonzo Kilisesi Princeton'da okurken Robert'ın küçük tezini yönetiyordu [1]. Constable doktorasını 1968 yılında Stephen Kleene ve aşağıdakiler dahil 40'tan fazla öğrenciyi denetledi: Edmund M. Clarke, Robert Harper, Kurt Mehlhorn, Steven Muchnick, Pavel Naumov ve Ryan Stansifer.[2] O bir Bilgi İşlem Makinaları Derneği Üyesi.

Constable, Marktoberdorf Yaz Okulu.[3]

Seçilmiş Yayınlar

Referanslar

  1. ^ "Robert L. Constable ile Söyleşi". Cornell Üniversitesi Dijital Deposu. Alındı 29 Eylül 2019.
  2. ^ "Robert Lee Constable". Matematik Şecere Projesi. Alındı 2 Eylül 2015.
  3. ^ "Robert L. Constable". Cornell Üniversitesi. 1997. Alındı 2 Eylül 2015.

Dış bağlantılar