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