Перейти к навигации Перейти к поиску
| Роберт Ли Констебль | |
|---|---|
| Родившийся | 1942 г. |
| Гражданство | Соединенные Штаты |
| Альма-матер | Принстонский университет , Висконсинский университет - Мэдисон |
| Известен | Нупрл |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Cornell University |
| Докторант | Стивен Клини |
| Другие научные консультанты | Церковь Алонсо |
| Докторанты | Аллан Бородин Эдмунд М. Кларк Роберт Харпер Курт Мельхорн Стивен Мучник Павел Наумов |
Роберт Ли Констебл (род. 1942) - американский ученый-компьютерщик. Он профессор информатики и первый и бывший декан факультета Корнельского университета , США. Он известен своей работой по соединению компьютерных программ и математических доказательств, особенно системы Nuprl . Алонзо Черч руководил младшей диссертацией Роберта, когда он учился в Принстоне. [1] Констебль получил докторскую степень в 1968 году под руководством Стивена Клини и руководил более чем 40 студентами, включая Эдмунда М. Кларка , Роберта Харпера , Курта Мелхорна , Стивена Мучника и других.Павел Наумов и Райан Стэнсифер. [2] Он является членом Ассоциации вычислительной техники .
Констебль был директором Марктобердорфской летней школы . [3]
Избранные публикации [ править ]
- Р.Л. Констебль и М.Дж. О'Доннелл. Логика программирования , Уинтроп, Кембридж , 1978.
- Р.Л. Констебль, С.Д. Джонсон и С.Д. Эйхенлауб. Введение в логику программирования PL / CV2 . In Lecture Notes in Computer Science 135 , Springer-Verlag , 1982.
- Группа ПРЛ. Внедрение математики с помощью системы разработки доказательств Nuprl . Прентис-Холл , Энгельвуд-Клиффс, Нью-Джерси, 1986.
Ссылки [ править ]
- ^ "Разговор с Робертом Л. Констеблем" . Цифровое хранилище Корнельского университета . Проверено 29 сентября 2019 года . CS1 maint: обескураженный параметр ( ссылка )
- ^ "Роберт Ли Констебль" . Проект «Математическая генеалогия» . Проверено 2 сентября 2015 года . CS1 maint: обескураженный параметр ( ссылка )
- ^ "Роберт Л. Констебль" . Корнельский университет . 1997 . Проверено 2 сентября 2015 года . CS1 maint: обескураженный параметр ( ссылка )
Внешние ссылки [ править ]
- Домашняя страница факультета вычислительной техники и информатики Корнельского университета
- Роберт Ли Констебл в проекте « Математическая генеалогия»