Robert Lee Constable - Robert Lee Constable
Robert Lee Constable | |
---|---|
Doğum | 1942 |
Vatandaşlık | Amerika Birleşik Devletleri |
gidilen okul | Princeton Üniversitesi , Wisconsin Üniversitesi - Madison |
Bilinen | Nuprl |
Bilimsel kariyer | |
Alanlar | Bilgisayar Bilimi |
Kurumlar | Cornell Üniversitesi |
Doktora danışmanı | Stephen Kleene |
Diğer akademik danışmanlar | Alonzo Kilisesi |
Doktora öğrencileri |
Allan Borodin Edmund M.Clarke Robert Harper Kurt Mehlhorn Steven Muchnick Pavel Naumov |
Robert Lee Constable (1942 doğumlu), Amerikalı bir bilgisayar bilimcisi. Bilgisayar bilimi profesörü ve Amerika Birleşik Devletleri Cornell Üniversitesi'nde bölümün ilk ve eski dekanıdır . Bilgisayar programlarını ve matematiksel kanıtları, özellikle de Nuprl sistemini birbirine bağlama konusundaki çalışmaları ile tanınır . Alonzo Kilisesi , Princeton'da okurken Robert'ın küçük tezini yönetiyordu. Constable doktorasını 1968'de Stephen Kleene'den aldı ve aralarında Edmund M. Clarke , Robert Harper , Kurt Mehlhorn , Steven Muchnick , Pavel Naumov ve Ryan Stansifer'ın da bulunduğu 40'tan fazla öğrenciye danışmanlık yaptı. O bir olan Association for Computing Machinery Fellow .
Constable, Marktoberdorf Yaz Okulu'nun müdürüdür .
Seçilmiş Yayınlar
- RL Constable ve MJ O'Donnell. Bir Programlama Mantığı , Winthrop, Cambridge , 1978.
- RL Constable, SD Johnson ve CD Eichenlaub. PL / CV2 Programlama Mantığına Giriş . In Bilgisayar Bilimi Ders Notları 135 , Springer-Verlag 1982,
- PRL Grubu. Matematiği Nuprl Prova Geliştirme Sistemi ile Uygulama . Prentice-Hall , Engelwood Cliffs, NJ, 1986.
Referanslar
Dış bağlantılar
- Ana Sayfa , Bilgisayar ve Bilgi Bilimi Bölümü, Cornell Üniversitesi
- Robert Lee Constable , Matematik Şecere Projesinde
P ≟ NP | Bir bilgisayar bilimcisiyle ilgili bu biyografik makale bir taslaktır . Wikipedia'yı genişleterek yardım edebilirsiniz . |