Оглавление
Роберт Л. Констебль
-
Биография Роберта Ли Констебла
- Американский ученый-компьютерщик, профессор компьютерных наук и бывший декан факультета вычислительной техники и информатики Корнеллского университета.
- Известен работами по объединению компьютерных программ и математических доказательств, особенно системой Nuprl.
-
Карьера и достижения
- Работал над формальной системой PL/CV и верификатором до прихода в Nuprl.
- Получил докторскую степень в 1968 году и руководил более чем 40 студентами.
- Был директором летней школы в Марктобердорфе.
-
Избранные публикации
- Опубликовал несколько работ по логике программирования и разработке системы Nuprl.
-
Создание и развитие факультета вычислительной техники и информатики
- Создал факультет вычислительной техники и информатики в 1999 году, который стал колледжем в 2020 году.
- FCIS объединил компьютерные науки с другими научными дисциплинами и стал центром для обучения компьютерной графике и статистическим наукам.
-
Вклад в образование и науку
- Констебл был деканом-основателем и внес значительный вклад в развитие компьютерных наук в Корнелле.
- Ввел факультет информационных наук, который работает в сотрудничестве с компьютерными науками.
-
Награды и признание
- Получил множество наград, включая стипендии ACM и Гуггенхайма.
-
Дополнительная информация
- Статья содержит внешние ссылки и предложение о расширении Википедии.
Полный текст статьи: