Роберт Л. Констебль
Роберт Л. Констебль | |
|---|---|
| Рожденный | Роберт Ли Констебль 1942 |
| Гражданство | Соединенные Штаты |
| Альма-матер |
|
| Известный | Нупрл |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Корнелльский университет |
| Докторантура | Стивен Клини |
| Докторанты | |
Роберт Ли Констебль (род. 1942) — американский учёный-компьютерщик. Он профессор информатики и первый и бывший декан факультета вычислительной техники и информатики Корнелльского университета . [2] Он известен своими работами по соединению компьютерных программ и математических доказательств , особенно системы Nuprl . До Nuprl он работал над формальной системой и верификатором PL/CV . [3] Алонсо Чёрч руководил работой над дипломной работой Констебля, пока он учился в Принстоне . [4] Констебль получил докторскую степень в 1968 году под руководством Стивена Клини и руководил более чем 40 студентами. [5]
Констебль был директором Летней школы в Марктобердорфе . [6]
Избранные публикации
[ редактировать ]- Р.Л. Констебль и М.Дж. О'Доннелл. Логика программирования , Уинтроп, Кембридж , 1978.
- Р.Л. Констебль, С.Д. Джонсон и К.Д. Эйхенлауб. Введение в логику программирования PL/CV2 . В конспектах лекций по информатике 135 , Springer-Verlag , 1982 г.
- Группа ПРЛ. Реализация математики с помощью системы разработки доказательств Nuprl . Прентис-Холл , Энгелвуд Клиффс, Нью-Джерси, 1986 год.
Развитие Корнеллской FCIS
[ редактировать ]В 1999 году Корнелл создал факультет вычислительной техники и информатики , или FCIS.как организация на уровне колледжа с деканом, но без административной структуры колледжа. Студенты и преподаватели жили в других колледжах; факультеты будут иметь совместные назначения. Например, в 2002 году факультет компьютерных наук был переведен как в инженерный факультет, так и в FCIS. [7] Новый FCIS стал головной организацией Программы компьютерной графики, а затем и нового Департамента статистических наук. FCIS выросла и теперь насчитывает более 50 дочерних преподавателей, каждый из которых работает на другом академическом факультете. [8] В 2020 году сфинансовое обязательство, взятое на себя Энн С. Бауэрс, превратило его в настоящий колледж: The Cornell Bowers CIS.— Колледж вычислительной техники и информатики. [9]
FCIS была идеей Роберта Констебла. Он чувствовал, что в этот новый компьютерный век всем частям Корнелла потребуется помощь в использовании компьютеров в исследованиях и преподавании, а это потребовало поднять компьютерные технологии до уровня колледжей. Он предложил этот новый, инновационный путь: «факультет», который структурно представлял собой колледж — но не настоящий колледж — во главе с деканом. Констебль несколько лет работал над воплощением этой идеи.чтобы осуществиться. Он был деканом-основателем и прослужил два пятилетних срока. В 2008 году, когда он ушёлс поста председателя тогдашний проректор Бидди Мартин приписала Констеблу и идею, и ее реализацию. [10]
Вторым нововведением стал факультет информатики, который будет работать рука об руку с информатикой, а не в противоречии с ней — обратите внимание, что IS присутствует в названии FCIS. Констебль поручил соответствующим членам отдела компьютерных наук ответственность за развитие нового отдела на протяжении многих лет. Сегодня, в 2024 году, Департамент информационной безопасности предлагает программы по основным и дополнительным специальностям во всех колледжах Корнелла. Несколько преподавателей работают в CS и IS. [13]
Награды
[ редактировать ]- Сотрудник ACM , 1995 г.
- Стипендия Гуггенхайма , 1990–1991 годы.
- Премия Эрбрана за выдающийся вклад в автоматизированное мышление, 2014 г. [14]
Ссылки
[ редактировать ]- ^ Роберт Л. Констебль в проекте математической генеалогии
- ^ Стил, Билл (11 июня 2008 г.). «Роберт Констебль, декан факультета вычислительной техники и информатики, уйдет в отставку в 2009 году» . Корнеллские хроники . Корнелльский университет.
- ^ Констебль, Роберт Л.; Джонсон, Скотт Д. (1979). «Точность PL/CV». Материалы 6-го симпозиума ACM SIGACT–SIGPLAN по принципам языков программирования (POPL '79) . Ассоциация вычислительной техники. стр. 7–20. дои : 10.1145/567752.567754 .
- ^ Констебль, Роберт Л.; Грис, Дэвид (21 июля 2015 г.). «Разговор с Робертом Л. Констеблем» . ecommons.cornell.edu . Проверено 29 сентября 2019 г.
- ^ «Роберт Ли Констебль» . Проект математической генеалогии . Проверено 2 сентября 2015 г.
- ^ «Роберт Л. Констебль» . Корнеллский университет . 1997 год . Проверено 2 сентября 2015 г.
- ^ «Информатика представляет новую форму» . Корнелл.edu . Архивировано из оригинала г. 30 октября 2020 Проверено 20 марта 2024 г.
- ^ Веб-сайт FCIS был заархивирован на машине Wayback в 2004 году. Основная страница — [1] . Вот страница декана: [2] . Здесь находятся страницы вычислительной биологии [3] , вычислительной науки и техники [4] , информатики [5] и совместных программ [6] .
- ^ «Корнелл Бауэрс СНГ: Колледж вычислительной техники и информатики» . Корнелл.edu . Архивировано из оригинала 19 марта 2024 г. Проверено 20 марта 2024 г.
- ^ «Роберт Констебль, декан факультета вычислительной техники и информатики, уйдет в отставку в 2009 году» . Корнелл.edu . Архивировано из оригинала 8 июня 2013 г. Проверено 20 марта 2024 г.
- ^ «Факультет» . cs.cornell.edu . Архивировано из оригинала 07 декабря 2023 г. Проверено 20 марта 2024 г.
- ^ «Факультет» . infosci.cornell.edu . Архивировано из оригинала 25 декабря 2023 г. Проверено 20 марта 2024 г.
- ^ По крайней мере четыре преподавателя имели совместные назначения в области компьютерных наук и информации.науки и играл ведущие роли в обоих отделах. Вот список в 2023 годуФакультет компьютерных наук [11] и факультет информатики. [12]
- ^ «Премия Эрбрана за выдающийся вклад в автоматизированное мышление, конференция CADE по автоматизированному дедукции» . cadeinc.org . Архивировано из оригинала 20 декабря 2016 г. Проверено 19 марта 2024 г.
Внешние ссылки
[ редактировать ]- Домашняя страница факультета вычислительной техники и информатики Корнельского университета
- Роберт Л. Констебль в проекте «Математическая генеалогия»
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
