Роберт Ли Констебль - 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.

Рекомендации

внешние ссылки