Группа исследований программирования
Группа исследования программирования ( PRG ) входила в состав Вычислительной лаборатории Оксфордского университета (OUCL) в Оксфорде , Англия , вместе с Группой численного анализа , пока OUCL не стала кафедрой компьютерных наук в 2011 году. [1]
PRG была основана Кристофером Стрейчи (1916–1975). [2] в 1965 году. Первоначально он располагался по адресу: 45 Banbury Road . [3]
После безвременной кончины Стрейчи на себя CAR Hoare взял в 1977 году руководство ФРС . [4] Идею PRG резюмирует следующая цитата Стрейчи, найденная и обнародованная Тони Хоаром после того, как он прибыл в PRG:
Я уже давно считаю, что разделение практической и теоретической работы искусственно и вредно. Большая часть практической работы, выполняемой в области вычислений , как по программному обеспечению, так и по проектированию аппаратного обеспечения , является необоснованной и неуклюжей, поскольку люди, которые ею занимаются, не имеют четкого понимания фундаментальных принципов проектирования своей работы. Большая часть абстрактных математических и теоретических работ бесплодна, поскольку не имеет точки соприкосновения с реальными вычислениями. Одной из центральных целей Группы исследования программирования как учебной и исследовательской группы было создание атмосферы, в которой такое разделение не может произойти. [4] [5]
PRG переехала на Кебл-роуд, 8–11 в 1984 году. В конце 1980-х и начале 1990-х некоторые члены PRG проживали по адресу 2 South Parks Road , включая Джозефа Гогена (который работал в PRG в 1988–1996 годах). Тони Хоар вышел на пенсию в 1999 году, а с 2000 года PRG возглавил Самсон Абрамски. PRG продолжала действовать до переименования вычислительной лаборатории Оксфордского университета в факультет компьютерных наук 1 июня 2011 года под руководством Билла Роско , бывшего члена ПРГ. [1]
ЭРГ была центром передового опыта в области формальных методов . [6] играя ведущую роль в разработке нотации Z (инициированной визитом Жана-Раймона Абриала ) и CSP (вместе с соответствующим языком программирования Occam ). он получил премию Queen's Awards от IBM и Inmos За работу в этой области .
Ссылки
[ редактировать ]- ^ Jump up to: а б «О кафедре информатики» . Великобритания: Факультет компьютерных наук Оксфордского университета . Проверено 7 сентября 2020 г.
- ^ «Кристофер Стрейчи (1916–1975)» . Виртуальный музей вычислительной техники . Интернет-архив . 2007. Архивировано из оригинала 26 сентября 2007 года . Проверено 3 мая 2013 г.
- ^ «Расходы на дом, занимаемый Группой исследования программирования, 1966–1968» . Бодлианские архивы и рукописи . Великобритания: Бодлианская библиотека , Оксфордский университет . РС. англ. разное. б. 255/Б.25 . Проверено 7 сентября 2020 г.
- ^ Jump up to: а б «История и структура» . Вычислительная лаборатория Оксфордского университета, Интернет-архив . 2007. Архивировано из оригинала 18 июня 2007 года . Проверено 3 мая 2013 г.
- ^ «Справочник бакалавриата 2006–07» . Вычислительная лаборатория Оксфордского университета, Интернет-архив . 2007. Архивировано из оригинала 20 июля 2007 года . Проверено 3 мая 2013 г.
- ^ Джонс, Клифф Б .; Томас, Мартин (11 июня 2020 г.). «Разработка и внедрение формальных методов в Великобритании». arXiv : 2006.06327 [ cs.SE ].
Внешние ссылки
[ редактировать ]- Сайт PRG ( Archive.org , 2010 г.)
51 ° 45'35 ″ с.ш. 1 ° 15'31 ″ з.д. / 51,7598 ° с.ш. 1,2585 ° з.д.
| Международный | |
|---|---|
| Национальный | |
 | Эта формальным методам, статья, посвященная незавершена . Вы можете помочь Википедии, расширив ее . |
- Учебные заведения, основанные в 1965 году.
- 1965 заведения в Англии
- Закрытие 2011 года в Англии
- Образовательные учреждения ликвидированы в 2011 году.
- Кафедры Оксфордского университета
- Организации формальных методов
- Институты информатики в Соединенном Королевстве
- Вычислительная лаборатория Оксфордского университета
- Исследовательские группы
- Заглушки формальных методов